Sciweavers

2736 search results - page 175 / 548
» Implementable allocation rules
Sort
View
112
Voted
LOPSTR
2009
Springer
15 years 7 months ago
A Transformational Approach for Proving Properties of the CHR Constraint Store
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
105
Voted
IJCNN
2008
IEEE
15 years 7 months ago
Large developing axonal arbors using a distributed and locally-reprogrammable address-event receiver
Abstract— We have designed a distributed and locally reprogrammable address event receiver. Incoming address-events are monitored simultaneously by all synapses, allowing for arb...
Simeon A. Bamford, Alan F. Murray, David J. Willsh...
111
Voted
LOPSTR
2007
Springer
15 years 7 months ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
Peter Van Weert, Jon Sneyers, Bart Demoen
104
Voted
UML
2005
Springer
15 years 6 months ago
Simplifying Transformations of OCL Constraints
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
Martin Giese, Daniel Larsson
85
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
Architecture-Oriented Programming Using FRED
Implementing application-specific code conforming to architectural rules and conventions can be tedious. FRED is a tool prototype for architecture-oriented programming that takes ...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...