2076 search results - page 256 / 416 » Functional logic overloading |
121
click to vote
FMICS
2010
Springer
15 years 1 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
122
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Miniaturization of devices and the ensuing decrease in the threshold voltage has led to a substantial increase in the leakage component of the total processor energy consumption. ...
160
Voted
PEPM
2011
ACM
14 years 6 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
133
click to vote
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
162
click to vote
JFP
2007
15 years 3 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...