6045 search results - page 291 / 1209 » Computable Linearizations of Well-partial-orderings |
162
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Synthetic Floating-Point (SFP), a synthetic benchmark generator program for floating-point circuits is presented. SFP consists of two independent modules for characterisation and...
200
click to vote
MEMBRANE
2004
Springer
16 years 20 days ago
2004
Springer
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
167
click to vote
MHCI
2004
Springer
16 years 20 days ago
2004
Springer
We describe the implementation of an interaction technique which allows users to store and retrieve information and computational functionality on different parts of their body. W...
222
click to vote
TSMC
2010
15 years 2 months ago
2010
The memory dumping problem arises in the context of planning and scheduling activities of the Mars Express mission of the European Space Agency. The problem consists of scheduling...
245
click to vote
TOG
2012
13 years 9 months ago
2012
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...