3679 search results - page 534 / 736 » Hybrid Semantic Analysis |
271
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
186
click to vote
IWMM
2010
Springer
15 years 8 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
195
click to vote
CODES
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
259
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
158
click to vote
ALMOB
2007
15 years 6 months ago
2007
Background: Neighbor-Net is a novel method for phylogenetic analysis that is currently being widely used in areas such as virology, bacteriology, and plant evolution. Given an inp...