3837 search results - page 303 / 768 » Concurrent Engineering support in Software Engineering |
128
click to vote
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
139
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
137
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
130
Voted
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
Developing Eclipse plug-ins often involves the creation of data structures and corresponding data processing code. In developing eAssignment, an Eclipse-bases application to suppo...
103
Voted
AVI
2006
15 years 6 months ago
2006
Designers and architects regularly use piles to organize visual artifacts. Recent efforts have now made it possible for users to create piles in digital systems as well. However, ...