1884 search results - page 283 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
MVA
2006
14 years 10 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
TAP
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
GFKL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. With the increasing popularity of collaborative tagging systems, services that assist the user in the task of tagging, such as tag recommenders, are more and more require...
104
click to vote
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
HIPEAC
2007
Springer
15 years 4 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...