Sciweavers

1127 search results - page 135 / 226
» The XIS Generative Programming Techniques
Sort
View
150
Voted
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
15 years 11 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
ANSS
2002
IEEE
15 years 10 months ago
Statistical Simulation of Symmetric Multiprocessor Systems
Statistical simulation is driven by a stream of randomly generated instructions, based on statistics collected during a single detailed simulation. This method can give accurate p...
Sébastien Nussbaum, James E. Smith
166
Voted
UM
2007
Springer
15 years 11 months ago
Preference-Based Organization Interfaces: Aiding User Critiques in Recommender Systems
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...
Li Chen, Pearl Pu
DATE
2007
IEEE
185views Hardware» more  DATE 2007»
15 years 11 months ago
An ILP formulation for system-level application mapping on network processor architectures
Current day network processors incorporate several architectural features including symmetric multi-processing (SMP), block multi-threading, and multiple memory elements to suppor...
Christopher Ostler, Karam S. Chatha
SAT
2005
Springer
138views Hardware» more  SAT 2005»
15 years 10 months ago
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
Vasco M. Manquinho, João P. Marques Silva