1287 search results - page 97 / 258 » Reduction of Timed Hybrid Systems |
136
click to vote
FUIN
2006
15 years 4 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
152
click to vote
ERCIMDL
2005
Springer
15 years 10 months ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
152
click to vote
TSP
2008
15 years 4 months ago
2008
Abstract--This paper deals with the uplink of a wireless multiple-input multiple-output (MIMO) communication system based on multicarrier (MC) code division multiple access (CDMA)....
149
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
144
click to vote
VECPAR
2000
Springer
15 years 8 months ago
2000
Springer
The SCOOPP (Scalable Object Oriented Parallel Programming) system is an hybrid compile and run-time system. SCOOPP dynamically scales OO applications on a wide range of target plat...