3256 search results - page 210 / 652 » Mixin-Based Programming in C |
127
click to vote
JAVA
2001
Springer
15 years 8 months ago
2001
Springer
12 The Java platform has many characteristics that make it very desirable for integrated continuous media processing. Unfortunately, it lacks the necessary CPU resource management ...
115
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
Business rules are closely associated with events. This paper describes how events in use cases can be the basis for identifying classes and business rules. A process known as Eve...
168
click to vote
IPCO
2008
15 years 5 months ago
2008
Recent advances on the understanding of valid inequalities from the infinite group relaxation has opened the possibility of finding a computationally effective extension to GMI cu...
148
click to vote
ENTCS
2006
15 years 4 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
242
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...