2226 search results - page 395 / 446 » Pdk: The System and Its Language |
173
click to vote
PADS
2006
ACM
16 years 10 days ago
2006
ACM
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
156
click to vote
SIGIR
2006
ACM
16 years 10 days ago
2006
ACM
Information graphics are non-pictorial graphics such as bar charts and line graphs that depict attributes of entities and relations among entities. Most information graphics appea...
171
click to vote
SIGSOFT
2006
ACM
16 years 10 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
177
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
159
click to vote
ADC
2005
Springer
15 years 12 months ago
2005
Springer
With the advent of XML and its use as a database language, dependency and normal form theory has attracted novel research interest. Several approaches to build up a dependency and...