Sciweavers

5810 search results - page 234 / 1162
» An Approach to Programming Based on Concepts
Sort
View
WCRE
2002
IEEE
15 years 11 months ago
Finding High-Level Structures in Spreadsheet Programs
Spreadsheets are a common tool in end-user programming. But even while important decisions are based on spreadsheet computations, spreadsheets are poorly documented software and t...
Roland Mittermeir, Markus Clermont
WISE
2010
Springer
15 years 4 months ago
Towards Flexible Mashup of Web Applications Based on Information Extraction and Transfer
Mashup combines information or functionality from two or more existing Web sources to create a new Web page or application. The Web sources that are used to build mashup applicatio...
Junxia Guo, Hao Han, Takehiro Tokuda
ICALP
2001
Springer
15 years 11 months ago
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
Furio Honsell, Marino Miculan, Ivan Scagnetto
IFIP
2001
Springer
15 years 11 months ago
An Evolutionary Approach for Pareto-optimal Configurations in SOC Platforms
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi
ASPDAC
2007
ACM
132views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Fast Decoupling Capacitor Budgeting for Power/Ground Network Using Random Walk Approach
- This paper proposes a fast and practical decoupling capacitor (decap) budgeting algorithm to optimize the power ground (P/G) network design. The new method adopts a modified rand...
Le Kang, Yici Cai, Yi Zou, Jin Shi, Xianlong Hong,...