816 search results - page 148 / 164 » Automating Verification by Functional Abstraction at the Sys... |
152
click to vote
ECCE
2007
15 years 7 months ago
2007
Motivation – This paper is based on a research project which examines the way car drivers and automated devices cooperate to achieve lateral control of a vehicle. A theoretical ...
175
Voted
ECBS
1996
IEEE
15 years 9 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
146
click to vote
IWDC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Endpoint admission control is a mechanism for achieving scalable services by pushing quality-of-service functionality to end hosts. In particular, hosts probe the network...
181
Voted
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
161
click to vote
HIPEAC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...