2944 search results - page 219 / 589 » On Well Quasi-orders on Languages |
185
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
164
click to vote
IROS
2006
IEEE
16 years 17 days ago
2006
IEEE
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
161
click to vote
SEFM
2006
IEEE
16 years 17 days ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
118
click to vote
ASPLOS
2006
ACM
16 years 16 days ago
2006
ACM
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...
183
click to vote
ISSRE
2005
IEEE
16 years 4 days ago
2005
IEEE
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...