Sciweavers

1336 search results - page 165 / 268
» codes 2005
Sort
View
90
Voted
CC
2005
Springer
108views System Software» more  CC 2005»
15 years 6 months ago
Task Partitioning for Multi-core Network Processors
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
Robert Ennals, Richard Sharp, Alan Mycroft
CP
2005
Springer
15 years 6 months ago
Modeling Constraint Programs with Software Technology Standards
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
Matthias Hoche, Stefan Jähnichen
CSL
2005
Springer
15 years 6 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
119
Voted
DIGRA
2005
Springer
15 years 6 months ago
The Expressions of Colours
A whole world is presented in front of the eyes of a gamer. This world has shapes and colours. What do colours transmit? Is this considered in digital games? These are the main is...
Veronica Zammitto
ECOOP
2005
Springer
15 years 6 months ago
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts
There are numerous mechanisms for separation of concerns at the source code level. Three mechanisms that are the focus of recent attention – metadata annotations, pointcuts and a...
Gregor Kiczales, Mira Mezini