Sciweavers

1707 search results - page 119 / 342
» Early Integer Programming
Sort
View
IRMA
2000
14 years 11 months ago
EMC - A modeling method for developing web-based applications
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
Peter Rittgen
IHM
2009
ACM
15 years 4 months ago
Une interface de programmation visuelle pour la composition de services de visualisation d'information
In this article, we are interested in information visualisations creation and sharing. Our approach is to consider information visualisation as a dataflow, issued from web servic...
Romain Vuillemot, Béatrice Rumpler
DATE
2006
IEEE
90views Hardware» more  DATE 2006»
15 years 4 months ago
Microarchitectural floorplanning under performance and thermal tradeoff
— In this paper, we present the first multi-objective microarchitectural floorplanning algorithm for designing highperformance, high-reliability processors in the early design ...
Michael B. Healy, Mario Vittes, Mongkol Ekpanyapon...
TASE
2008
IEEE
14 years 10 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
HASKELL
2009
ACM
15 years 4 months ago
Parallel performance tuning for Haskell
Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...
Don Jones Jr., Simon Marlow, Satnam Singh