541 search results - page 73 / 109 » Factoring Solution Sets of Polynomial Systems in Parallel |
101
click to vote
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
ECCC
2010
14 years 12 months ago
2010
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
103
click to vote
NDSS
2000
IEEE
15 years 3 months ago
2000
IEEE
Several new approaches for detecting malicious attacks on computer systems and/or confining untrusted or malicious applications have emerged over the past several years. These tec...
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...
113
click to vote
EH
2004
IEEE
15 years 3 months ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...