Sciweavers

2181 search results - page 295 / 437
» The restriction scaffold problem
Sort
View
PPOPP
2010
ACM
14 years 6 months ago
Leveraging parallel nesting in transactional memory
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...
João Barreto, Aleksandar Dragojevic, Paulo ...
ECIR
2009
Springer
14 years 6 months ago
Quality-Oriented Search for Depression Portals
The problem of low-quality information on the Web is nowhere more important than in the domain of health, where unsound information and misleading advice can have serious consequen...
Thanh Tin Tang, David Hawking, Ramesh S. Sankarana...
ICCAD
2003
IEEE
143views Hardware» more  ICCAD 2003»
14 years 5 months ago
Fractional Cut: Improved Recursive Bisection Placement
In this paper, we present improvements to recursive bisection based placement. In contrast to prior work, our horizontal cut lines are not restricted to row boundaries; this avoid...
Ameya R. Agnihotri, Mehmet Can Yildiz, Ateen Khatk...
LATA
2009
Springer
14 years 3 months ago
Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata
We show that fixed membership testing for many interesting subclasses of multi-pushdown machines is no harder than for pushdowns with single stack. The models we consider are MVPA...
Nutan Limaye, Meena Mahajan
DATE
2009
IEEE
139views Hardware» more  DATE 2009»
14 years 3 months ago
Reliable mode changes in real-time systems with fixed priority or EDF scheduling
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
Nikolay Stoimenov, Simon Perathoner, Lothar Thiele