2362 search results - page 293 / 473 » Programming in Standard ML |
130
click to vote
ESA
2003
Springer
15 years 9 months ago
2003
Springer
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
129
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
A fundamental problem that confronts Shanghai Information Grid is to adopt a good Grid toolkit, since the “de facto” standard Globus Toolkit does not support Information Grid w...
127
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
107
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—Packaging becomes an important issue in aerospace equipments because of high integration and severe environmental constraints. In order to develop products which respond to the ...
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...