454 search results - page 39 / 91 » Design and Implementation of the Virtual Machine Constructin... |
GLVLSI
2002
IEEE
14 years 19 days ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
VEE
2006
ACM
14 years 1 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
CLEIEJ
2002
13 years 7 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
HPDC
2012
IEEE
11 years 10 months ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
ICALT
2003
IEEE
14 years 29 days ago
2003
IEEE
This position paper discusses different philosophical views of learning and the consequences of these different epistemologies on the design of online learning environments. Acade...