1310 search results - page 85 / 262 » Parameterized Partial Evaluation |
170
click to vote
ATAL
2009
Springer
16 years 16 days ago
2009
Springer
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments...
192
click to vote
VEE
2006
ACM
15 years 12 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
184
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
131
click to vote
NN
2004
Springer
15 years 11 months ago
2004
Springer
A sound source separation technique based on a bio-inspired neural network, capable of functioning in more than two-source mixtures, is proposed. Separation results are compared wi...
155
click to vote
ISPD
2003
ACM
15 years 11 months ago
2003
ACM
Delay evaluation is always a crucial concern in the VLSI design and it becomes increasingly more critical in the nowadays deep-submicron technology. To obtain an accurate delay va...