Sciweavers

2695 search results - page 413 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
ISPD
2003
ACM
89views Hardware» more  ISPD 2003»
15 years 8 months ago
Local unidirectional bias for smooth cutsize-delay tradeoff in performance-driven bipartitioning
Traditional multilevel partitioning approaches have shown good performance with respect to cutsize, but offer no guarantees with respect to system performance. Timing-driven part...
Andrew B. Kahng, Xu Xu
149
Voted
ESOP
2006
Springer
15 years 7 months ago
Inference of User-Defined Type Qualifiers and Qualifier Rules
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
Brian Chin, Shane Markstrum, Todd D. Millstein, Je...
146
Voted
WEBI
2010
Springer
15 years 1 months ago
Expertise Matching via Constraint-Based Optimization
Abstract--Expertise matching, aiming to find the alignment between experts and queries, is a common problem in many real applications such as conference paper-reviewer assignment, ...
Wenbin Tang, Jie Tang, Chenhao Tan
BSN
2009
IEEE
127views Sensor Networks» more  BSN 2009»
15 years 10 months ago
Therapeutic Exergaming
Exercise therapy is prescribed by physiotherapists and rehabilitation practitioners as part of the treatment programme for many movement impairment disorders. Poor adherence and in...
Brendan O'Huiginn, Barry Smyth, Garrett Coughlan, ...
GIS
1999
ACM
15 years 7 months ago
Spatio-Temporal Conceptual Models: Data Structures + Space + Time
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
Christine Parent, Stefano Spaccapietra, Esteban Zi...