4880 search results - page 495 / 976 » Manuals as Structured Programs |
231
click to vote
TCS
2008
15 years 7 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
214
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
195
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
178
click to vote
BIBM
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
225
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...