10870 search results - page 1805 / 2174 » Model Checking Programs |
196
click to vote
IJCNN
2006
IEEE
16 years 25 days ago
2006
IEEE
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
152
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
161
click to vote
ISPASS
2006
IEEE
16 years 25 days ago
2006
IEEE
Despite years of study, branch mispredictions remain as a significant performance impediment in pipelined superscalar processors. In general, the branch misprediction penalty can...
206
click to vote
QEST
2006
IEEE
16 years 24 days ago
2006
IEEE
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
181
click to vote
VRST
2006
ACM
16 years 22 days ago
2006
ACM
Designing and building Virtual Environments is not an easy task, especially when it comes to specifying object behavior where either knowledge about animation techniques or progra...