Sciweavers

1127 search results - page 135 / 226
» The XIS Generative Programming Techniques
Sort
View
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
15 years 5 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 4 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
UM
2007
Springer
15 years 5 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 5 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 4 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