5962 search results - page 688 / 1193 » Working with Patterns and Code |
205
Voted
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
199
Voted
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Refactoring is a hot and controversial issue. Supporters claim that it helps increasing the quality of the code, making it easier to understand, modify and maintain. Moreover, the...
202
Voted
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
205
click to vote
PVM
2007
Springer
16 years 1 months ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
174
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...