1069 search results - page 207 / 214 » Automatic Generation of Language-based Tools |
156
Voted
LOPSTR
2007
Springer
16 years 15 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
179
Voted
PPAM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
180
Voted
CCECE
2006
IEEE
16 years 13 days ago
2006
IEEE
Although many QoS management architectures have been recently introduced with a lot of advanced features, they have never been widely used in the existing applications due to the ...
183
click to vote
CODES
2006
IEEE
16 years 12 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
160
Voted
GLVLSI
2005
IEEE
15 years 12 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...