Sciweavers

1675 search results - page 254 / 335
» A Structured Approach to Parallel Programming: Methodology a...
Sort
View
ICTAC
2005
Springer
15 years 11 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
SIGCSE
2004
ACM
86views Education» more  SIGCSE 2004»
15 years 11 months ago
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses
Rarely are the three pillars of academia—research, teaching, and service—addressed together, within one intellectually cohesive context in the graduate curriculum. Such a cont...
Paolo A. G. Sivilotti, Bruce W. Weide
CC
2008
Springer
172views System Software» more  CC 2008»
15 years 8 months ago
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
Mark Marron, Manuel V. Hermenegildo, Deepak Kapur,...
ICS
1999
Tsinghua U.
15 years 10 months ago
The scalability of multigrain systems
Researchers have recently proposed coupling small- to mediumscale multiprocessors to build large-scale shared memory machines, known as multigrain shared memory systems. Multigrai...
Donald Yeung
KBSE
2007
IEEE
16 years 13 days ago
Iterative model-driven development of adaptable service-based applications
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mau...