Sciweavers

9698 search results - page 1608 / 1940
» models 2010
Sort
View
ICALP
2010
Springer
15 years 11 months 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.
15 years 11 months 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.
15 years 11 months 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 ...
ICSE
2010
IEEE-ACM
15 years 11 months 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
ISBMS
2010
Springer
15 years 11 months 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 »