Sciweavers

1628 search results - page 105 / 326
» Compiler Construction Using Scheme
Sort
View
DAC
1999
ACM
16 years 3 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
176
Voted
OOPSLA
2001
Springer
15 years 7 months ago
Points-To Analysis for Java using Annotated Constraints
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
ICDAR
2007
IEEE
15 years 8 months ago
Elastic Matching of Online Handwritten Tamil and Telugu Scripts Using Local Features
This paper describes character based elastic matching using local features for recognizing online handwritten data. Dynamic Time Warping (DTW) has been used with four different fe...
L. Prasanth, V. Babu, R. Sharma, G. V. Rao, Dinesh...
CC
2003
Springer
114views System Software» more  CC 2003»
15 years 7 months ago
Combined Code Motion and Register Allocation Using the Value State Dependence Graph
We define the Value State Dependence Graph (VSDG). The VSDG is a form of the Value Dependence Graph (VDG) extended by the addition of state dependence edges to model sequentialise...
Neil Johnson, Alan Mycroft
ISCAS
2007
IEEE
78views Hardware» more  ISCAS 2007»
15 years 8 months ago
Towards Automated Power Gating of Registers using CoDeL
— In this paper, we use the CoDeL platform to develop test circuits and analyze the potential and performance impact of power gating individual registers. For each register, we e...
Nainesh Agarwal, Nikitas J. Dimopoulos