Sciweavers

IEEEPACT
2007
IEEE
14 years 3 months ago
AA-Sort: A New Parallel Sorting Algorithm for Multi-Core SIMD Processors
Many sorting algorithms have been studied in the past, but there are only a few algorithms that can effectively exploit both SIMD instructions and threadlevel parallelism. In this...
Hiroshi Inoue, Takao Moriyama, Hideaki Komatsu, To...
IEEEPACT
2007
IEEE
14 years 3 months ago
L1 Cache Filtering Through Random Selection of Memory References
Distinguishing transient blocks from frequently used blocks enables servicing references to transient blocks from a small fully-associative auxiliary cache structure. By inserting...
Yoav Etsion, Dror G. Feitelson
ICECCS
2007
IEEE
73views Hardware» more  ICECCS 2007»
14 years 3 months ago
From PIMs to PSMs
Peter H. Feiler, Dionisio de Niz, Chris Raistrick,...
ICECCS
2007
IEEE
144views Hardware» more  ICECCS 2007»
14 years 3 months ago
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
14 years 3 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
ICECCS
2007
IEEE
72views Hardware» more  ICECCS 2007»
14 years 3 months ago
Linking Object-Z with Spec#
Shengchao Qin, Guanhua He
ICECCS
2007
IEEE
87views Hardware» more  ICECCS 2007»
14 years 3 months ago
The LearnLib in FMICS-jETI
This paper explains
Tiziana Margaria, Harald Raffelt, Bernhard Steffen...
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
14 years 3 months ago
A Novel Approach to the Detection of Cheating in Multiplayer Online Games
— Modern online multiplayer games are complex heterogeneous distributed systems comprised of servers and untrusted clients, which are often engineered under considerable commerci...
Peter Laurens, Richard F. Paige, Phillip J. Brooke...
ICECCS
2007
IEEE
110views Hardware» more  ICECCS 2007»
14 years 3 months ago
Formally Counting Electronic Votes (But Still Only Trusting Paper)
In this extended abstract we summarize our consulting work, scientific research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish government...
Joseph Kiniry
ICECCS
2007
IEEE
118views Hardware» more  ICECCS 2007»
14 years 3 months ago
The AADL behaviour annex - experiments and roadmap
In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the ...
Ricardo Bedin França, Jean-Paul Bodeveix, M...