5439 search results - page 716 / 1088 » Patterns: from system design to software testing |
155
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we present the design and implementation of a distributed index architecture to facilitate metadata discovery on large networks. Many current information discovery s...
163
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Flying Message Service (FMS) is a design project promoting community-based messaging in public spaces in the city. We have built a system that enables people to attach electronic...
193
click to vote
WISES
2003
15 years 8 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...
191
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
207
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...