452 search results - page 23 / 91 » Symbolic Execution of Behavioral Requirements |
100
click to vote
GLVLSI
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
122
click to vote
SC
1995
ACM
15 years 4 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
88
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
110
click to vote
PAMI
2008
15 years 20 days ago
2008
Behavior analysis of social insects has garnered impetus in recent years and has led to some advances in fields like control systems, flight navigation etc. Manual labeling of ins...
IJCAI
2001
15 years 2 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...