3239 search results - page 433 / 648 » A Logical Process Calculus |
110
Voted
PATMOS
2004
Springer
15 years 9 months ago
2004
Springer
Current characterization methods introduce an important error in the measurement process. In this paper, we present a novel method to drive the timing characterization of logic gat...
100
Voted
EH
2003
IEEE
15 years 9 months ago
2003
IEEE
No silicon fabrication and characterization of circuits with topologies designed by evolution has been done before, leaving open questions about the feasibility of the evolutionar...
140
Voted
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
124
Voted
HPCC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—In this paper, a novel architecture for a streaming intrusion detection system for Grid computing environments is presented. Detection mechanisms based on traditional lo...
95
Voted
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
The alternative wire technique attempts to replace a target wire by another wire without changing the logic functionality. In this paper, we propose two new transformations of rep...