772 search results - page 84 / 155 » From Graph Transformation to Software Engineering and Back |
147
click to vote
ICWE
2009
Springer
15 years 8 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
134
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
145
Voted
DAC
2009
ACM
15 years 8 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
123
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
128
click to vote
CGO
2009
IEEE
15 years 11 months ago
2009
IEEE
Debugging programs at the source level is essential in the software development cycle. With the growing importance of dynamic optimization, there is a clear need for debugging sup...