3911 search results - page 593 / 783 » Using Operational Architecture to Model Embedded Software |
157
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
141
click to vote
PVM
2007
Springer
16 years 17 days ago
2007
Springer
We propose a parallel MPI search engine that is capable of automatically switching between asynchronous message passing and bulk-synchronous message passing modes of operation. Whe...
173
click to vote
DFKI
2005
Springer
16 years 1 hour ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
163
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
175
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...