10055 search results - page 29 / 2011 » Structured programming using processes |
116
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
149
Voted
CSMR
2006
IEEE
15 years 9 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
156
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
140
Voted
ISCA
2005
IEEE
15 years 9 months ago
2005
IEEE
Memory latency tolerant architectures support thousands of in-flight instructions without scaling cyclecritical processor resources, and thousands of useful instructions can compl...
114
Voted
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
This thesis presented a framework of the possible combination of approaches for low-level program slicing-baseddependence analysis and high-level concept assignment. Three combina...