Sciweavers

1915 search results - page 184 / 383
» A language for functional interpretation of model based simu...
Sort
View
SIGMOD
1996
ACM
99views Database» more  SIGMOD 1996»
15 years 10 months ago
A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
Leonid Libkin, Rona Machlin, Limsoon Wong
WSC
2008
15 years 8 months ago
An efficient Ranking and Selection procedure for a linear transient mean performance measure
We develop a Ranking and Selection procedure for selecting the best configuration based on a transient mean performance measure. The procedure extends the OCBA approach to systems...
Douglas J. Morrice, Mark W. Brantley, Chun-Hung Ch...
COR
2008
99views more  COR 2008»
15 years 6 months ago
Genetic local search for multicast routing with pre-processing by logarithmic simulated annealing
Over the past few years, several local search algorithms have been proposed for various problems related to multicast routing in the off-line mode. We describe a population-based ...
Mohammed S. Zahrani, Martin J. Loomes, James A. Ma...
FDL
2005
IEEE
16 years 3 days ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
FORMATS
2006
Springer
15 years 10 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi