4839 search results - page 842 / 968 » A survey of computational complexity results in systems and ... |
129
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...
126
click to vote
TPDS
2002
15 years 1 months ago
2002
Middleware has been introduced to provide interoperability as well as transparent location of servers in heterogeneous client-server environments. Although such benefits accrue fro...
126
Voted
BMCBI
2007
15 years 1 months ago
2007
Background: Elucidating biological networks between proteins appears nowadays as one of the most important challenges in systems biology. Computational approaches to this problem ...
108
click to vote
SOSP
2007
ACM
15 years 10 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
105
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...