4299 search results - page 392 / 860 » Concurrent Test Generation |
113
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
177
Voted
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
154
Voted
PPDP
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
185
Voted
ECHT
1992
15 years 9 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
150
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...