Sciweavers

6274 search results - page 594 / 1255
» Proofs, Programs, Processes
Sort
View
197
Voted
CCGRID
2007
IEEE
16 years 1 months ago
Dynamic Malleability in Iterative MPI Applications
Malleability enables a parallel application’s execution system to split or merge processes modifying granularity. While process migration is widely used to adapt applications to...
Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K...
190
Voted
DEXAW
2004
IEEE
82views Database» more  DEXAW 2004»
15 years 11 months ago
Supporting Public Software Acquisition Workflows - Implications for Data Models
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
Werner Aigner, Peter Regner, Thomas Wiesinger, Jos...
207
Voted
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
16 years 25 days ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
188
Voted
ICWE
2004
Springer
16 years 20 days ago
Towards Reconciling Quality and Agility in Web Application Development
Delivering high quality web applications complying with severe project delivery time constraints is still an elusive goal for a software process. In many software projects, develop...
Américo Sampaio, Alexandre Vasconcelos, Ped...
166
Voted
ICDAR
2003
IEEE
16 years 17 days ago
A Prototype of an Active Form System
This paper describes prototyping of a form processing system employing dot texture for printing input frames of the form. The dot texture is the texture composed of small dots. It...
Taro Shimamura, Bilan Zhu, Atsushi Masuda, Motoki ...