Sciweavers

3454 search results - page 224 / 691
» Modern computer algebra
Sort
View
TCS
2010
15 years 1 months ago
Definable transductions and weighted logics for texts
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
Christian Mathissen
ICS
2009
Tsinghua U.
15 years 4 months ago
Creating artificial global history to improve branch prediction accuracy
Modern processors require highly accurate branch prediction for good performance. As such, a number of branch predictors have been proposed with varying size and complexity. This ...
Leo Porter, Dean M. Tullsen
GI
2005
Springer
16 years 3 days ago
Modelling and Execution of Complex Semantic Transactions using WERIGO Metamodel
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
Alexander Tarabrin
PDCAT
2004
Springer
15 years 12 months ago
A Universal Machine File Format for MPI Jobs
Abstract. Beowulf-class clusters use a diverse collection of queue management software, and interconnect technology, often causing inter-cluster operability issues. We present a Un...
Francis Tang, Ho Liang Yoong, Chua Ching Lian, Aru...
CHINZ
2009
ACM
15 years 11 months ago
The use of paper in everyday student life
The information we encounter in modern life, in developed countries, is a hybrid of the physical and the digital. Personal archiving tools allow users to capture and retrieve aspe...
David M. Nichols, Sally Jo Cunningham