2933 search results - page 457 / 587 » Agent-Grid Integration Language |
126
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
A traditional fixed-function graphics accelerator has evolved into a programmable general-purpose graphics processing unit over the last few years. These powerful computing cores...
127
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
129
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
138
click to vote
ICMI
2005
Springer
15 years 8 months ago
2005
Springer
Head pose and gesture offer several key conversational grounding cues and are used extensively in face-to-face interaction among people. We investigate how dialog context from an ...
153
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...