Sciweavers

2609 search results - page 239 / 522
» Models for Global Constraint Applications
Sort
View
PLILP
1998
Springer
15 years 10 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
EGITALY
2011
14 years 6 months ago
3D-ize U! A Real-time 3D Head-model Texture Generator for Android
Recently, the number of applications developed for smartphones has dramatically increased; however, at the moment, applications having the purpose of creating and displaying 3D mo...
Stefano Boi, Fabio Sorrentino, Stefano Marras, Ric...
ATVA
2005
Springer
80views Hardware» more  ATVA 2005»
16 years 3 days ago
Syntactical Colored Petri Nets Reductions
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
Sami Evangelista, Serge Haddad, Jean-Franço...
SC
2003
ACM
15 years 11 months ago
BCS-MPI: A New Approach in the System Software Design for Large-Scale Parallel Computers
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
Juan Fernández, Eitan Frachtenberg, Fabrizi...
SIGMETRICS
1999
ACM
15 years 11 months ago
Optimal Stochastic Scheduling in Multiclass Parallel Queues
In this paperweconsidertheproblemof schedulingdifferentclasses of customerson multiple distributed serversto minimize an objective function basedon per-classmeanresponsetimes.This...
Jay Sethuraman, Mark S. Squillante