237 search results - page 28 / 48 » Modeling Mental States in Agent-Oriented Requirements Engine... |
DAC
1995
ACM
15 years 1 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
EUROMICRO
2006
IEEE
15 years 3 months ago
2006
IEEE
Critical to any successful performance improvement initiative is to achieve a state of continuous or institutionalized improvement. Some improvement can happen quickly, but long-t...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
ISPASS
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a scheme to compress branch trace information for use in snapshot-based microarchitecture simulation. The compressed trace can be used to warm any arbitrary branch pred...
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...