Viewing 0 current events matching “real-time” by Date.
| Sort By: Date | Event Name, Location , Default |
|---|---|
| No events were found. | |
Viewing 2 past events matching “real-time” by Date.
| 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:
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 |
|
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! |