3224 search results - page 398 / 645 » Abstract Error Projection |
155
click to vote
DSD
2007
IEEE
16 years 27 days ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
224
click to vote
AOSE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
216
click to vote
CCECE
2006
IEEE
16 years 19 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
153
click to vote
RTSS
2005
IEEE
16 years 4 days ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
177
click to vote
UIALL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present the results of an exploratory study investigating the feasibility of using multimedia software to teach life skills to adults with learning difficulties. As a ...