Sciweavers

2362 search results - page 208 / 473
» Programming in Standard ML
Sort
View
IFIP
2003
Springer
15 years 9 months ago
An Enhanced MAC Architecture for Multi-hop Wireless Networks
The IEEE 802.11 MAC family of standards has been designed for communication in traditional wireless LANs. The enhancement of the IEEE 802.11 family of standards is mainly seen in t...
R. Bernasconi, I. Defilippis, Silvia Giordano, Ale...
TOOLS
2010
IEEE
15 years 9 months ago
Deep Meta-modelling with MetaDepth
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
Juan de Lara, Esther Guerra
HM
2009
Springer
145views Optimization» more  HM 2009»
15 years 9 months ago
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + +
We present a hybrid solver (called GELATO) that exploits the potentiality of a Constraint Programming (CP) environment (Gecode) and of a Local Search (LS) framework (EasyLocal++ )....
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovie...
AIMSA
2000
Springer
15 years 8 months ago
Steps towards C+C: A Language for Interactions
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
Stefano A. Cerri, Jean Sallantin, Emmanuel Castro,...
RTCSA
1999
IEEE
15 years 8 months ago
Pipeline Timing Analysis Using a Trace-Driven Simulator
In this paper we present a technique for Worst-Case Execution Time WCET analysis for pipelined processors. Our technique uses a standard simulator instead of special-purpose pipel...
Jakob Engblom, Andreas Ermedahl