54 search results - page 8 / 11 » Effects of machine translation on collaborative work |
DAC
2003
ACM
14 years 6 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
APCSAC
2001
IEEE
13 years 9 months ago
2001
IEEE
Java bytecodes can be executed with the following three methods: a Java interpretor running on a particular machine interprets bytecodes; a Just-In-Time (JIT) compiler translates ...
ECCV
2008
Springer
14 years 7 months ago
2008
Springer
As the most pervasive method of individual identification and document authentication, signatures present convincing evidence and provide an important form of indexing for effectiv...
ICCD
1997
IEEE
13 years 9 months ago
1997
IEEE
Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practica...
APSCC
2008
IEEE
14 years 8 days ago
2008
IEEE
Public Web services are not designed to be used with specific other Web services in a composite Web service. This leads to the following requirements for the proper control of a ...