1733 search results - page 195 / 347 » On the naturalness of software |
160
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
162
click to vote
IWMM
2010
Springer
15 years 11 months ago
2010
Springer
The pervasiveness of multiprocessor and multicore hardware and the rising level of available parallelism are radically changing the computing landscape. Can software deal with tom...
143
click to vote
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
200
click to vote
LOPSTR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
205
click to vote
MICRO
1992
IEEE
15 years 10 months ago
1992
IEEE
Software pipelining is an important instruction scheduling technique for efficiently overlapping successive iterations of loops and executing them in parallel. Modulo scheduling i...