1710 search results - page 38 / 342 » High-Level Programs and Program Conditions |
FPL
1994
Springer
14 years 1 days ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
APCCM
2006
13 years 9 months ago
2006
A number of recent developments in software engineering -- from agile methods to aspect-oriented programming to design patterns to good enough software -- share a number of common...
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
Many business schools are re-examining management education, and many view advanced information technology as an enabler of innovative and effective learning. How best to approach...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
AMI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...