308 search results - page 36 / 62 » Efficient Software Model Checking of Data Structure Properti... |
139
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
108
Voted
EWSA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
240
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
175
Voted
TCSB
2010
15 years 5 days ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
131
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...