3387 search results - page 186 / 678 » Model-Checking for Real-Time Systems |
201
Voted
SEW
2007
IEEE
16 years 1 months ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
196
click to vote
ISORC
2006
IEEE
16 years 29 days ago
2006
IEEE
Automatic memory management or garbage collection greatly simplifies the development of large systems. However, garbage collection is usually not used in real-time systems due to...
167
Voted
EVOW
2004
Springer
16 years 10 days ago
2004
Springer
A data-flow network-based interactive evolutionary design framework is presented which will provide a testbed for the development and exploration of a diverse range of visual arti...
169
Voted
ICTAC
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
159
click to vote
MHCI
2004
Springer
16 years 9 days ago
2004
Springer
Many mobile applications rely on the Global Positioning System (GPS) to provide position and location information. However, there are many problems with using GPS in urban environm...