Sciweavers

511 search results - page 36 / 103
» Synchronous Structures
Sort
View
SIGCSE
2005
ACM
147views Education» more  SIGCSE 2005»
14 years 3 months ago
Automated tutoring for a database skills training environment
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
Claire Kenny, Claus Pahl
FMSD
2006
59views more  FMSD 2006»
13 years 10 months ago
Optimistic synchronization-based state-space reduction
Reductions that aggregate fine-grained transitions into coarser transitions can significantly reduce the cost of automated verification, by reducing the size of the state space. W...
Scott D. Stoller, Ernie Cohen
TWC
2011
275views more  TWC 2011»
13 years 4 months ago
A Novel Uplink Multiple Access Scheme Based on TDS-FDMA
—This contribution proposes a novel time-domain synchronous frequency division multiple access (TDS-FDMA) scheme to support multi-user uplink application. A unified frame struct...
Linglong Dai, Zhaocheng Wang, Sheng Chen
PPDP
2005
Springer
14 years 3 months ago
Isolation-only transactions by typing and versioning
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
Pawel T. Wojciechowski
IPPS
2007
IEEE
14 years 4 months ago
A Heterogeneous Lightweight Multithreaded Architecture
Programs with irregular patterns of dynamic data structures and/or those with complicated control structures such as recursion are notoriously difficult to parallelize efficient...
Sheng Li, Amit Kashyap, Shannon K. Kuntz, Jay B. B...