1884 search results - page 196 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
120
click to vote
BIRTHDAY
2007
Springer
15 years 5 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
101
click to vote
ERSA
2006
15 years 2 months ago
2006
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
116
click to vote
WSC
1998
15 years 2 months ago
1998
ating Structures is a system abstraction that helps to model large-scale distributed systems, whose performance mostly depends on how well the data and messages traffic is organiz...
121
click to vote
WMCSA
2003
IEEE
15 years 6 months ago
2003
IEEE
Today car-navigation systems are increasingly penetrating the automotive market. However, the need for location-based information systems is no longer limited to cars. Mobile outd...
105
click to vote
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...