255 search results - page 13 / 51 » A Virtual Machine for a Process Calculus |
FPL
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes an execution cache that uses process migration between hardware and software contexts by way of run-time reconfiguration (RTR) of Field Programmable Gate Arr...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
Virtual learning communities bring together people from diverse backgrounds and provide the basis for knowledge construction and sharing. Important processes for the community to f...
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
An automated system for planning and optimization of lumber production using Machine Vision and Computed Tomography (CT) is proposed. Cross-sectional CT images of hardwood logs are...
FMCO
2005
Springer
14 years 1 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...