Sciweavers

15777 search results - page 2673 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
COORDINATION
2009
Springer
15 years 4 months ago
Automata for Context-Dependent Connectors
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
Marcello M. Bonsangue, Dave Clarke, Alexandra Silv...
CACM
2010
140views more  CACM 2010»
15 years 3 months ago
FastTrack: efficient and precise dynamic race detection
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
Cormac Flanagan, Stephen N. Freund
IJISMD
2010
164views more  IJISMD 2010»
15 years 3 months ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
Mira Balaban, Azzam Maraee, Arnon Sturm
IPPS
2010
IEEE
15 years 3 months ago
Efficient hardware support for the Partitioned Global Address Space
We present a novel architecture of a communication engine for non-coherent distributed shared memory systems. The shared memory is composed by a set of nodes exporting their memory...
Holger Fröning, Heiner Litz
ASSETS
2010
ACM
15 years 1 months ago
Utterance-based systems: organization and design of AAC interfaces
Electronic Augmented and Alternative Communication (AAC) systems provide a method for people with severe speech impairments to communicate by selecting what they desire to say, an...
Timothy J. Walsh
« Prev « First page 2673 / 3156 Last » Next »