Sciweavers

9698 search results - page 1608 / 1940
» models 2010
Sort
View
ICALP
2010
Springer
16 years 9 days ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
ICS
2010
Tsinghua U.
16 years 9 days ago
Overlapping communication and computation by using a hybrid MPI/SMPSs approach
– Communication overhead is one of the dominant factors that affect performance in high-performance computing systems. To reduce the negative impact of communication, programmers...
Vladimir Marjanovic, Jesús Labarta, Eduard ...
ICS
2010
Tsinghua U.
16 years 9 days ago
Small-ruleset regular expression matching on GPGPUs: quantitative performance analysis and optimization
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...
Jamin Naghmouchi, Daniele Paolo Scarpazza, Mladen ...
193
Voted
ICSE
2010
IEEE-ACM
16 years 9 days ago
Using information fragments to answer the questions developers ask
Each day, a software developer needs to answer a variety of questions that require the integration of different kinds of project information. Currently, answering these questions...
Thomas Fritz, Gail C. Murphy
191
Voted
ISBMS
2010
Springer
16 years 9 days ago
LASTIC: A Light Aspiration Device for in vivo Soft TIssue Characterization
This paper introduces a new Light Aspiration device for in vivo Soft TIssue Characterization (LASTIC). This device is designed to be used during surgery, and can undergo sterilizat...
Patrick Schiavone, Emmanuel Promayon, Yohan Payan
« Prev « First page 1608 / 1940 Last » Next »