1814 search results - page 309 / 363 » Extended First-Order Logic |
151
click to vote
OTM
2007
Springer
16 years 4 days ago
2007
Springer
The WS-Policy framework has been introduced to allow policy to be expressed and associated with Web Services thereby enabling organizations to manage the quality of their services...
144
click to vote
TACAS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
197
click to vote
GLVLSI
2006
IEEE
16 years 2 days ago
2006
IEEE
As CMOS devices and operating voltages are scaled down, noise and defective devices will impact the reliability of digital circuits. Probabilistic computing compatible with CMOS o...
149
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
The development of Field Programmable Gate Arrays (FPGAs) had tremendous improvements in the last few years. They were extended from simple logic circuits to complex Systems-on-Ch...
137
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...