893 search results - page 113 / 179 » Environment Assumptions for Synthesis |
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
ISMVL
2010
IEEE
14 years 26 days ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
VRST
2000
ACM
14 years 4 days ago
2000
ACM
This paper discusses four ways that humans interact with their environments, plus four variables that determine the experience of virtual reality, and also which of the interactio...
DATE
1999
IEEE
14 years 3 days ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...