3706 search results - page 394 / 742 » The Transformational Approach to Program Development |
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
139
click to vote
EXPERT
2006
15 years 4 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
197
click to vote
AOSD
2012
ACM
14 years 6 days ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
175
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
112
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
We develop a new approach for characterization of mixed pixels in remotely sensed hyperspectral images. The proposed method rst performs joint spatial-spectral pixel characterizat...