Sciweavers

10848 search results - page 215 / 2170
» Programming in Biomolecular Computation
Sort
View
150
Voted
ICSOC
2005
Springer
15 years 10 months ago
A Lightweight Formal Framework for Service-Oriented Applications Design
Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweigh...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...

Book
314views
17 years 3 months ago
Programming in Martin-Löf's Type Theory
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
Bengt Nordström, Kent Petersson, Jan M. Smith
SOFSEM
2010
Springer
16 years 1 months ago
Maintaining XML Data Integrity in Programs
ACT DATATYPE APPROACH Patrick Michel Arnd Poetzsch-Heffter
Patrick Michel, Arnd Poetzsch-Heffter
CCGRID
2007
IEEE
15 years 11 months ago
Reparallelization and Migration of OpenMP Programs
Typical computational grid users target only a single cluster and have to estimate the runtime of their jobs. Job schedulers prefer short-running jobs to maintain a high system ut...
Michael Klemm, Matthias Bezold, Stefan Gabriel, Ro...