3106 search results - page 444 / 622 » Both Generic Design and Different Forms of Designing |
145
click to vote
PLDI
2009
ACM
16 years 9 days ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
174
click to vote
CODES
2009
IEEE
16 years 8 days ago
2009
IEEE
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). The d...
163
click to vote
APN
1995
Springer
15 years 9 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...
168
click to vote
DNA
2008
Springer
15 years 7 months ago
2008
Springer
Whiplash PCR (WPCR), due to Hagiya et al. [1], is a novel technique for autonomous molecular computation where a state machine is implemented with a single stranded DNA molecule a...
206
Voted
CIDR
2009
15 years 6 months ago
2009
High-volume, high-speed data streams may overwhelm the capabilities of stream processing systems; techniques such as data prioritization, avoidance of unnecessary processing and o...