11561 search results - page 1913 / 2313 » A Language for Biochemical Systems |
180
click to vote
ICTAC
2004
Springer
16 years 8 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
221
click to vote
LCTRTS
2004
Springer
16 years 7 days ago
2004
Springer
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...
180
click to vote
MOZ
2004
Springer
16 years 7 days ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
202
click to vote
PLDI
2003
ACM
16 years 4 days ago
2003
ACM
Compiler writers have crafted many heuristics over the years to approximately solve NP-hard problems efficiently. Finding a heuristic that performs well on a broad range of applic...
245
click to vote
PLDI
2003
ACM
16 years 4 days ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...