445 search results - page 15 / 89 » A Call Abstraction for Component Coordination |
MEMOCODE
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
PROCEDIA
2010
13 years 7 months ago
2010
We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-proce...
MOC
2002
13 years 8 months ago
2002
Abstract. The Auslander-Reiten quiver of a finite-dimensional associative algebra A encodes information about the indecomposable finite-dimensional representations of A and their h...
FATES
2005
Springer
14 years 2 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...