7124 search results - page 168 / 1425 » Programming Languages and Operating Systems |
163
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
149
click to vote
ICASSP
2008
IEEE
16 years 28 days ago
2008
IEEE
Signals and systems lab courses that are currently offered at many universities are mostly based on textbased programming languages and environments, in particular MATLAB. This pa...
179
click to vote
WLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
199
click to vote
PLANX
2007
15 years 8 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
303
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...