3119 search results - page 396 / 624 » Abstract Requirement Analysis in Multiagent System Design |
152
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
176
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
Three types of video surrogates visual (keyframes), verbal (keywords/phrases), and visual and verbal were designed and studied in a qualitative investigation of user cognitive pro...
172
click to vote
COMCOM
2000
15 years 6 months ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
190
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
191
click to vote
CONEXT
2010
ACM
15 years 3 months ago
2010
ACM
Abstract-- Network management and operations are complicated, tedious, and error-prone, requiring significant human involvement and domain knowledge. As the complexity involved ine...