Viewing 0 current events matching “real-time” by Location.

Sort By: Date Event Name, Location , Default
No events were found.

Viewing 2 past events matching “real-time” by Location.

Sort By: Date Event Name, Location , Default
Tuesday
Oct 6, 2009
Galois Tech Talk: Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience
Galois, Inc

The next talk in the Galois Tech Seminar series:

  • Date: Tuesday, October 6th, 2009
  • Title: Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience
  • Speaker: Lee Pike
  • Time: 10:30am - 11:30am
  • Location: Galois, Inc. 421 SW 6th Ave. Suite 300; Portland, OR 97204

For details (including an abstract and speaker bio), please see our blog post: http://www.galois.com/blog/2009/09/29/pike-haskell0/

Abstract: We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a case-study, we implement a simple emulator for the Biphase Mark Protocol, a physical-layer network protocol in Haskell. The surprising result is that a pure functional language with no built-in notion of time is extremely well-suited for constructing such emulators. Furthermore, we use Haskell’s property-checker QuickCheck to automatically generate real-time parameters for simulation. We also describe a novel use of QuickCheck as a probability calculator for reliability analysis.

Bio: Lee Pike is a member of the technical staff at Galois. Previously, he was a research scientist with the NASA Langley Formal Methods Group, primarily involved in the SPIDER project. His research interests include applying formal methods to safety-critical and security-critical applications, with a focus on industrial-scale endeavors.

An RSVP is not required; but feel free to drop a line to [email protected] if you've any questions or comments.

Levent Erkok

Website
Saturday
Apr 16, 2011
PacMap at the Park Blocks
North Park Blocks Playground

If you were at WhereCamp 2008 you might have had the opportunity to play Pacmanhattan. The game was epic and played by cell phones on the park blocks!

Come play a new version of the game using real-time location and GPS through the Geoloqi app! We'll be starting at 2Pm at the playground in the North Park blocks.

To play, you'll need Geoloqi for iPhone: http://itunes.apple.com/us/app/geoloqi/id415603875?mt=8 or Android https://market.android.com/details?id=com.geoloqi.android1

We'll turn on the PacMap layer before the event, so all you need to do is bring some comfortable running/walking shoes and a fully charged phone!

See you there!

Website