Sciweavers

7055 search results - page 1059 / 1411
» Some New 4-Designs
Sort
View
CC
2008
Springer
124views System Software» more  CC 2008»
15 years 9 months ago
Coqa: Concurrent Objects with Quantized Atomicity
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
Yu David Liu, Xiaoqi Lu, Scott F. Smith
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 9 months ago
Swing-up control for n-link planar robot with single passive joint using the notion of virtual composite links
In this paper, we concern a swing-up control problem for an n-link revolute planar robot with any one of the joint being a passive joint. The goal of this study is to design and an...
Xin Xin, Jin-Hua She, Taiga Yamasaki
CF
2008
ACM
15 years 9 months ago
Fpga-based prototype of a pram-on-chip processor
PRAM (Parallel Random Access Model) has been widely regarded a desirable parallel machine model for many years, but it is also believed to be "impossible in reality." As...
Xingzhi Wen, Uzi Vishkin
LCTRTS
2010
Springer
15 years 9 months ago
Resilience analysis: tightening the CRPD bound for set-associative caches
In preemptive real-time systems, scheduling analyses need—in addition to the worst-case execution time—the context-switch cost. In case of preemption, the preempted and the pr...
Sebastian Altmeyer, Claire Maiza, Jan Reineke
CIKM
2008
Springer
15 years 9 months ago
Classifying networked entities with modularity kernels
Statistical machine learning techniques for data classification usually assume that all entities are i.i.d. (independent and identically distributed). However, real-world entities...
Dell Zhang, Robert Mao
« Prev « First page 1059 / 1411 Last » Next »