1263 search results - page 59 / 253 » A Vision on a New Generation of Software Design Environments |
142
Voted
AVI
2008
15 years 8 months ago
2008
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
222
Voted
GLVLSI
2009
IEEE
15 years 3 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
161
click to vote
GECON
2007
Springer
16 years 9 days ago
2007
Springer
The major shortcoming of Grid middleware systems is the lack of economic-enhanced Grid services. These new services are necessary in order to let Grid users benefit from the proper...
145
click to vote
USENIX
2008
15 years 8 months ago
2008
New single-machine environments are emerging from abundant computation available through multiple cores and secure virtualization. In this paper, we describe the research challeng...
130
click to vote
IEICET
2010
15 years 4 months ago
2010
In this paper, we propose a new way to estimate fog extinction at night using a classification of fog depending on the forward scattering. We show that a characterization of fog ...