7058 search results - page 579 / 1412 » Modelling Business Process Performance |
202
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
221
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
Computer-aided design (CAD) and 3D visualization techniques are at the heart of many engineering processes such as aircraft, ship, and automobile design. These visualization tasks...
251
click to vote
ICWE
2004
Springer
16 years 1 months ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
209
click to vote
ERSA
2004
15 years 9 months ago
2004
Platform FPGAs incorporate many different components, such as processor core(s), reconfigurable logic, memory, etc., onto a single chip. When an application is synthesized on platf...
253
click to vote
FCCM
2008
IEEE
16 years 2 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...