7103 search results - page 516 / 1421 » Program Generation and Components |
115
click to vote
IJMMS
2007
15 years 4 months ago
2007
This paper investigates the role of ontologies as a central part of an architecture to repurpose existing material from the web. A prototype system called ArtEquAKT is presented, ...
128
click to vote
TCAD
2008
15 years 4 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
136
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
151
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
146
Voted
ICFP
1997
ACM
15 years 9 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...