8190 search results - page 223 / 1638 » From Timed to Hybrid Systems |
161
click to vote
DAC
1990
ACM
15 years 10 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
176
Voted
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
This paper reports on the application of classifier systems to the acquisition of decision-making algorithms for agents in online soccer games. The objective of this research is t...
176
Voted
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
This paper studies a number of hash-based join algorithms for general purpose multiprocessor computers with shared memory where the amount of memory allocated to the join operatio...
192
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...
174
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Nucleic acid hybridization, a fundamental technique in molecular biology, can be modified into very effective and sensitive methods for detecting particular targets mi...