6608 search results - page 1113 / 1322 » On the Completeness of Model Checking |
150
click to vote
RTSS
1992
IEEE
15 years 8 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...
147
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
We consider a virtual computing environment that provides computational resources on demand to users with multiattribute task descriptions that include a valuation, resource (CPU)...
150
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Persistent Embodied Conversational Agents (ECA) can be used to assist users in their daily activities. We introduce the Health and Fitness Companion (HFC), which is a conversation...
140
click to vote
FPGA
2008
ACM
15 years 6 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
164
click to vote
AGI
2008
15 years 6 months ago
2008
Human brain is exceptionally complex and simple at the same time. Its extremely composite biological structure results itself in human everyday behavior that many people might cons...