Sciweavers

5506 search results - page 434 / 1102
» Minimal Logic Programs
Sort
View
CPAIOR
2006
Springer
15 years 10 months ago
Event-Driven Probabilistic Constraint Programming
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
Armagan Tarim, Brahim Hnich, Steven David Prestwic...
ICSE
2005
IEEE-ACM
16 years 7 months ago
Demonstration of JIVE and JOVE: Java as it happens
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current visualizations either use program traces to show info...
Steven P. Reiss, Manos Renieris
ECAL
2007
Springer
16 years 1 months ago
Turing Complete Catalytic Particle Computers
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
Anthony M. L. Liekens, Chrisantha Thomas Fernando
SCOPES
2004
Springer
16 years 5 days ago
Instruction Selection for Compilers that Target Architectures with Echo Instructions
Echo Instructions have recently been introduced to allow embedded processors to provide runtime decompression of LZ77-compressed programs at a minimal hardware cost compared to oth...
Philip Brisk, Ani Nahapetian, Majid Sarrafzadeh
ICPP
1998
IEEE
15 years 11 months ago
Concurrent SSA Form in the Presence of Mutual Exclusion
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer