53 search results - page 6 / 11 » Computationally Sound Mechanized Proofs of Correspondence As... |
105
click to vote
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
ICTAC
2004
Springer
15 years 3 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
101
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— A continuous vocal imitation system was developed using a computational model that explains the process of phoneme acquisition by infants. Human infants perceive speech...
ENTCS
2007
14 years 9 months ago
2007
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...