3 Now at Lattice Semiconductor Contents (2008)
Adnan Aziz, Robert Brayton, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Abelardo Pardo, ...
Session S1B A Parametric Exercise Based Tutoring System (2008)
Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos
Abstract — A tutoring system based on hierarchically interconnecting a set of parametric exercises is described. Parametric exercises allow for multiple invocations of an exercise with different...
An Adaptive Strategy for Peer Review (2008)
Raquel M. Crespo, Abelardo Pardo, Carlos Delgado Kloos
Abstract — Peer review has been widely used in multiple contexts ranging from childhood education to academic research. Numerous documents describe different aspects of the reviewing process....
A Supporting Architecture for Generic Service Integration in IMS Learning Design (2008)
Miao, Yongwu, Pardo, Abelardo, Delgado Kloos, Carlos
De la Fuente Valentin, L., Miao, Y., Pardo, A., & Delgado Kloos, C. (2008). A Supporting Architecture for Generic Service Integration in IMS Learning Design. In P. Dillenbourg & M. Specht (Eds.),...
Design and Lifelong Competence Development Infrastructure (2008)
Abelardo Pardo, Carlos Delgado Kloos
Abstract: The IMS-LD specification allow the transcription of almost any pedagogical model in a "Unit of Learning " (UoL), which is a package where contents and methodology are...
Abstract Incremental CTL Model Checking Using BDD Subsetting (2008)
An automatic abstraction/re nement algorithm for symbolic CTL model checking is presented. Conservative model checking is thus done for the full CTL language{no restriction is made to the universal...
Abstract Incremental CTL Model Checking Using BDD Subsetting (2007)
An automatic abstraction/re nement algorithm for symbolic CTL model checking is presented. Conservative model checking is thus done for the full CTL language{no restriction is made to the universal...
Session F1A A MATHEMATICAL MODEL FOR REUSING STUDENT LEARNING SKILLS ACROSS DIDACTICAL UNITS (2007)
M. Carmen, Fernández Panadero, Abelardo Pardo, Javier Fernández Panadero, Andrés Marín López
Abstract ⎯ In this paper a mathematical model to capture information about learning capabilities of students for reusing across didactical units is presented. The model is based on the definition...
Experiences with GRAIL: Learning Design support in .LRN (2007)
Pardo, Abelardo, Delgado Kloos, Carlos
The IMS-LD specification allow the transcription of almost any pedagogical model in a "Unit of Learning" (UoL), which is a package where contents and methodology are combined together in order to be...
Xipeng Xioa and Lionel M. Ni “Internet QoS: A Big Picture (1999)
Sergio Gutiérrez, Abelardo Pardo, Carlos Delgado Kloos
www.it.uc3m.es Abstract. An adaptive tutoring system is presented based on hierarchical graphs that capture the sequencing of a set of learning objects depending on how students interact with them....
Incremental CTL Model Checking Using BDD Subsetting (1998)
An automatic abstraction/refinement algorithm for symbolic CTL model checking is presented. Conservative model checking is thus done for the full CTL language-no restriction is made to the universal...
Automatic Abstraction Techniques for Propositional µ-calculus Model Checking (1997)
Abelardo Pardo, Gary D. Hachtel
ion Techniques for Propositional ¯-calculus Model Checking ? Abelardo Pardo and Gary D. Hachtel University of Colorado ECEN Campus Box 425, Boulder, CO, 80309, USA fabel,hachtelg@vlsi.colorado.edu...
Modular verification of multipliers (1996)
Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi
We present a new method for the efficient verification of multipliers and other arithmetic circuits. It is based on modular arithmetic like Kimura's approach, and on composition, like...
VIS: A System for Verification and Synthesis (1996)
Alberto Sangiovanni-Vincentelli, Adnan Aziz, Szu-Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, ...
ion Manual abstraction can be performed by giving a file containing the names of variables to abstract. For each variable appearing in the file, a new primary input node is created to drive all the...
Tearing Based Automatic Abstraction for CTL Model Checking (1996)
Woohyuk Lee Abelardo, Woohyuk Lee, Abelardo Pardo, Jae-young Jang, Gary Hachtel, Fabio Somenzi
ion for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 80309 Abstract In this paper we present the...
Markovian Analysis of Large Finite State Machines (1996)
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
Regarding finite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal verification problems. In this paper we present symbolic...
Probabilistic Analysis of Large Finite State Machines (1994)
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
Regarding finite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal verification problems. Recently, we have shown how...
Algebraic Decision Diagrams and their Applications (1993)
R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, ...
In this paper we present theory and experiments on the Algebraic Decision Diagrams (ADD's). These diagrams extend BDD's by allowing values from an arbitrary finite domain to be associated...
Achilles: A High-Level Synthesis System for Asynchronous Circuits (1992)
Jordi Cortadella, Rosa M. Badia, Enric Pastor, Abelardo Pardo
This paper presents Achilles, a High-Level Synthesis System for asynchronous digital circuits. A new architecture model based on a completely distributed control structure is proposed. The most...