52 search results - page 4 / 11 » Safe Dynamic Multiple Inheritance |
CASES
2004
ACM
14 years 29 days ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
ENTCS
2006
13 years 7 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper presents a software component, the plan database, which provides the needed services to define plans, execute them and more importantly adapt them during execution....
BMCBI
2005
13 years 7 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...