Search results for "macro"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Adelinde M. Uhrmacher, Daniela Degenring, Bernard P. Zeigler	Discrete Event Multi-level Models for Systems Biology.	Trans. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF
14	Hua Xiang 0001, Xiaoping Tang, Martin D. F. Wong	An algorithm for integrated pin assignment and buffer planning.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	min-cost maximum flow, Buffer insertion, pin assignment
14	Prassanna Sithambaram, Alberto Macii, Enrico Macii	Design and Implementation of a Memory Generator for Low-Energy Application-Specific Block-Enabled SRAMs.	PATMOS	2005	DBLP DOI BibTeX RDF
14	Jurjen Westra, Patrick Groeneveld	Towards Integration of Quadratic Placement and Pin Assignment.	ISVLSI	2005	DBLP DOI BibTeX RDF
14	Shrirang M. Yardi, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha 0001	Quality-Driven Proactive Computation Elimination for Power-Aware Multimedia Processing.	DATE	2005	DBLP DOI BibTeX RDF
14	Francis C. Y. Chik, Robert Wing Pong Luk, Korris Fu-Lai Chung	Text Categorization Based on Subtopic Clusters.	NLDB	2005	DBLP DOI BibTeX RDF
14	Kosuke Ono, Masateru Harao, Kouichi Hirata	Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments.	ICITA (1)	2005	DBLP DOI BibTeX RDF
14	James C. Browne	Productivity in High Performance Computing.	HiPC	2005	DBLP DOI BibTeX RDF
14	Edmundas Kazimieras Zavadskas, Arturas Kaklauskas, Algirdas Andruskevicius, Povilas Vainiunas, Nerija Banaitiene	Model for an Integrated Analysis of a Building's Life Cycle.	CDVE	2005	DBLP DOI BibTeX RDF
14	Rami Langar, Samir Tohmé, Gwendal Le Grand	Micro Mobile MPLS: A New Scheme for Micro-mobility Management in 3G All-IP Networks.	ISCC	2005	DBLP DOI BibTeX RDF
14	Ying-Hong Wang, Chien-Wen Wang, Hui-Min Huang	A novel micro-mobility management method in wireless communication network.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
14	Juhnyoung Lee, Yanggon Kim, Yoonho Kim, Bonghee Moon	Business Process Integration with Web Services.	SNPD	2005	DBLP DOI BibTeX RDF
14	Eryk Laskowski, Marek Tudruj, Richard Olejnik, Bernard Toursel	Java Programs Optimization Based on the Most-Often-Used-Paths Approach.	PPAM	2005	DBLP DOI BibTeX RDF
14	Jin Zhang, Xiaoyun Chen, Yi Chen, Yunfa Hu	Association Classification Based on Sample Weighting.	FSKD (2)	2005	DBLP DOI BibTeX RDF
14	Anuradha Agarwal, Glenn Wolfe, Ranga Vemuri	Accuracy driven performance macromodeling of feasible regions during synthesis of analog circuits.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	performance modeling, circuit sizing, analog synthesis
14	Victor R. Basili, Forrest Shull	Evolving Defect "Folklore": A Cross-Study Analysis of Software Defect Behavior.	ISPW	2005	DBLP DOI BibTeX RDF
14	Ying-Hong Wang, Hui-Min Huang, Huang-Yi Li	Hybrid CIP/M&M for Micro-Mobility Management under the Multilayer Wireless Network.	AINA	2005	DBLP DOI BibTeX RDF
14	Demosthenes Akoumianakis, Constantine Stephanidis	Towards a Universal Access Code of Practice in Health Telematics.	Universal Access in Health Telematics	2005	DBLP DOI BibTeX RDF
14	Forouzan Golshani, Pegge Vissicaro, Youngchoon Park	A Multimedia Information Repository for Cross Cultural Dance Studies.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	dance studies, multimedia information systems, multimedia content analysis
14	Özgür B. Akan, Ian F. Akyildiz	ATL: an adaptive transport layer suite for next-generation wireless Internet.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
14	Marek Tudruj, Lukasz Masko	Dynamic SMP Clusters with Communication on the Fly in NoC Technology for Very Fine Grain Computations.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	Parallel System Architecture, Shared Memory Systems, Cluster Systems
14	Yunsi Fei, Lin Zhong 0001, Niraj K. Jha	An Energy-Aware Framework for Coordinated Dynamic Software Management in Mobile Computers.	MASCOTS	2004	DBLP DOI BibTeX RDF
14	Andreas Wortmann 0002, Sven Simon 0001, Matthias Müller 0002	A High-Speed Transceiver Architecture Implementable as Synthesizable IP Core.	DATE	2004	DBLP DOI BibTeX RDF
14	Mario Latendresse	Rewrite Systems for Symbolic Evaluation of C-like Preprocessing.	CSMR	2004	DBLP DOI BibTeX RDF
14	Sebastian Maneth, Giorgio Busatto	Tree Transducers and Tree Compressions.	FoSSaCS	2004	DBLP DOI BibTeX RDF
14	Hiroshi Koide, Yuji Oie	A New Task Scheduling Method for Distributed Programs which Require Memory Management in Grids.	SAINT Workshops	2004	DBLP DOI BibTeX RDF	CP/MM, critical path scheduling, garbage collection, memory management, task scheduling, Java RMI
14	Eryk Laskowski, Richard Olejnik, Bernard Toursel, Marek Tudruj	Scheduling Byte Code-Defined Data Dependence Graphs of Object Oriented Programs.	PARELEC	2004	DBLP DOI BibTeX RDF
14	Ranga Vemuri, Glenn Wolfe	Adaptive sampling and modeling of analog circuit performance parameters with pseudo-cubic splines.	ICCAD	2004	DBLP DOI BibTeX RDF
14	Sehchan Oh, Youngho Lee, Woontack Woo	Scalable Stereo Video Coding for Heterogeneous Environments.	MIPS	2004	DBLP DOI BibTeX RDF
14	Kang Hyuk Lee, Byeong Ho Kang 0001	A New Framework for Uncertainty Sampling: Exploiting Uncertain and Positive-Certain Examples in Similarity-Based Text Classification.	ITCC (2)	2004	DBLP DOI BibTeX RDF
14	Rainer Andergassen, Peter Nijkamp, Aura Reggiani	Analysis of regional labour market dynamics: In search of indications for self-organised criticality.	J. Geogr. Syst.	2003	DBLP DOI BibTeX RDF	JEL classification C82, E32, R11, R23
14	Marco Bucci, Lucia Germani, Raimondo Luzzi, Alessandro Trifiletti, Mario Varanonuovo	A High-Speed Oscillator-Based Truly Random Number Source for Cryptographic Applications on a Smart Card IC.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	noise source, jittered oscillator, Smart Cards, Random number generator
14	Boris Dahav, Opher Etzion	Distributed Enforcement of Integrity Constraints.	Distributed Parallel Databases	2003	DBLP DOI BibTeX RDF	database exception handling, self-stabilization in databases, distributed rules systems, distributed databases
14	Panagiotis Manolios, J Strother Moore	Partial Functions in ACL2.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	ACL2, partial functions
14	Malcolm Slaney, Jayashree Subrahmonia, Paul P. Maglio	Modeling Multitasking Users.	User Modeling	2003	DBLP DOI BibTeX RDF
14	Marco Mamei, Andrea Roli, Franco Zambonelli	Dissipative Cellular Automata As Minimalist Distributed Systems: A Study On Emergent Behaviors.	PDP	2003	DBLP DOI BibTeX RDF
14	Dongsheng Wang 0012, Peter Suaris, Nan-Chi Chou	A Practical ASIC Methdology for Flexible Clock Tree Synthesis with Routing Blockages.	PATMOS	2003	DBLP DOI BibTeX RDF
14	Marek Tudruj, Lukasz Masko	Dynamic SMP Clusters with Communication on the Fly.	ISPDC	2003	DBLP DOI BibTeX RDF
14	George Logothetis, Klaus Schneider 0001	Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration.	DATE	2003	DBLP DOI BibTeX RDF
14	Martin Hülse, Keyan Zahedi, Frank Pasemann	Representing Robot-Environment Interactions by Dynamical Features of Neur-controllers.	ABiALS	2003	DBLP DOI BibTeX RDF
14	René David, Hassane Alla	Reachability Graph for Autonomous Continuous Petri Nets.	POSTA	2003	DBLP DOI BibTeX RDF
14	George Logothetis, Klaus Schneider 0001, C. Metzler	Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification.	SBCCI	2003	DBLP DOI BibTeX RDF
14	Allan Wiinamaki, Rainer Dronzek	Emergency departments I: using simulation in the architectural concept phase of an emergency department design.	WSC	2003	DBLP DOI BibTeX RDF
14	Thomas Rauber, Gudula Rünger, Sven Trautmann	A Distributed Hierarchical Programming Model for Heterogeneous Cluster of SMPs.	IPDPS	2003	DBLP DOI BibTeX RDF
14	George Logothetis, Klaus Schneider 0001, C. Metzler	Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs.	RTSS	2003	DBLP DOI BibTeX RDF
14	Anita Fetzer	Communicative Contributions and Communicative Genres: Language Production and Language Understanding in Context.	CONTEXT	2003	DBLP DOI BibTeX RDF
14	Yun Shen, Bing Wang	Clustering Schemaless XML Documents.	OTM	2003	DBLP DOI BibTeX RDF
14	Juhnyoung Lee	Matching Algorithms for Composing Business Process Solutions with Web Services.	EC-Web	2003	DBLP DOI BibTeX RDF
14	Marek Tudruj, Lukasz Masko	Communication on the Fly in Dynamic SMP Clusters - Towards Efficient Fine Grain Numerical Computations.	PPAM	2003	DBLP DOI BibTeX RDF
14	Mohammad M. Mansour, Amit Mehrotra	Efficient core designs based on parameterized macrocells with accurate delay models.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
14	Mohamed A. ElHelw, Adrian James Chung, Ara Darzi, Guang-Zhong Yang	Image-Based Modelling of Soft Tissue Deformation.	MICCAI (1)	2003	DBLP DOI BibTeX RDF
14	Makram M. Mansour, Mohammad M. Mansour, Amit Mehrotra	Parameterized Macrocells with Accurate Delay Models for Core-Based Designs.	ISQED	2003	DBLP DOI BibTeX RDF
14	Norbert Fuhr, Kai Großjohann, Sascha Kriewel	A Query Language and User Interface for XML Information Retrieval.	Intelligent Search on XML Data	2003	DBLP DOI BibTeX RDF
14	Luigi Francesco Agnati, Letizia Santarossa, Susanna Genedani, Enric I. Canela, Giuseppina Leo, Rafael Franco, Amina Woods, Carmen Lluis, Sergi Ferré, Kjell Fuxe	On the Nested Hierarchical Organization of CNS: Basic Characteristics of Neuronal Molecular Networks.	Summer School on Neural Networks	2003	DBLP DOI BibTeX RDF
14	Kang Hyuk Lee, Judy Kay, Byeong Ho Kang 0001	Active Learning: Applying RinSCut Thresholding Strategy to Uncertainty Sampling.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
14	Gerald Lüttgen, Michael Mendler	The intuitionism behind Statecharts steps.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
14	Shurug Al-Khalifa, H. V. Jagadish	Multi-level operator combination in XML query processing.	CIKM	2002	DBLP DOI BibTeX RDF	XML, query processing
14	József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner	Integrating Temporal Assertions into a Parallel Debugger.	Euro-Par	2002	DBLP DOI BibTeX RDF
14	Franco Zambonelli, Marco Mamei, Andrea Roli	What Can Cellular Automata Tell Us about the Behavior of Large Multi-agent Systems?	SELMAS	2002	DBLP DOI BibTeX RDF
14	Guillaume Potard, Ian S. Burnett	Using XML Schemas to Create and Encode Interactive 3-D Audio Scenes for Multimedia and Virtual Reality Applications.	DCW	2002	DBLP DOI BibTeX RDF
14	Gerald Lüttgen, Michael Mendler	Axiomatizing an Algebra of Step Reactions for Synchronous Languages.	CONCUR	2002	DBLP DOI BibTeX RDF
14	Christian von Scheve, Daniel Moldt	Emotion: Theoretical Investigations and Implications for Artificial Social Aggregates.	RASTA	2002	DBLP DOI BibTeX RDF
14	Hua Xiang 0001, D. F. Wong 0001, Xiaoping Tang	An algorithm for integrated pin assignment and buffer planning.	DAC	2002	DBLP DOI BibTeX RDF	min-cost maximum flow, buffer insertion, pin assignment
14	Linet Özdamar, Ebru Alanya	Uncertainty Modelling in Software Development Projects (With Case Study).	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	fuzzy logic, resource allocation, scheduling heuristics, software development projects
14	H. Van Dyke Parunak, Sven Brueckner	Entropy and self-organization in multi-agent systems.	Agents	2001	DBLP DOI BibTeX RDF	entropy, self-organization, pheromones
14	Marek Tudruj, Lukasz Masko	An Architecture and Task Scheduling Algorithm for Systems Based on Dynamically Reconfigurable Shared Memory Clusters.	IWCC	2001	DBLP DOI BibTeX RDF
14	Veselko Gustin, Patricio Bulic	Extracting SIMD Parallelism from 'for' Loops.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
14	Marek Tudruj, Lukasz Masko	A Parallel System Architecture Based on Dynamically Configurable Shared Memory Clusters.	PPAM	2001	DBLP DOI BibTeX RDF
14	Marek Tudruj, Lukasz Masko	Task Scheduling for Dynamically Configurable Multiple SMP Clusters Based on Extended DSC Approach.	PPAM	2001	DBLP DOI BibTeX RDF
14	Ning Zhu, Han Young Koh	Power Grid Modeling Technique for Hierarchical Power Network Analysis.	ISQED	2001	DBLP DOI BibTeX RDF
14	Armin Kühnemann, Robert Glück, Kazuhiko Kakehi 0001	Relating Accumulative and Non-accumulative Functional Programs.	RTA	2001	DBLP DOI BibTeX RDF
14	Helena Galhardas, Daniela Florescu, Dennis E. Shasha, Eric Simon	An Extensible Framework for Data Cleaning.	ICDE	2000	DBLP DOI BibTeX RDF	query optimization, query language, data quality, data cleaning, data transformation, object matching, duplicate elimination, approximate join
14	Gerald Lüttgen, Michael Mendler	Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.	ICALP	2000	DBLP DOI BibTeX RDF
14	Kannan Govindan, Luc Schmitz, Christian Larsen	An industry perspective on the role of equipment-based earthmoving simulation.	WSC	2000	DBLP DOI BibTeX RDF
14	Lucas Szajek, Lev Kirischian	Implementation of an Adaptive Reconfigurable Group Organized (ARGO) Parallel Architecture.	PARELEC	2000	DBLP DOI BibTeX RDF
14	Le-Chin Eugene Liu, Carl Sechen	Multilayer chip-level global routing using an efficient graph-based Steiner tree heuristic.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
14	Kenneth L. Shepard, Vinod Narayanan, Ron Rose	Harmony: static noise analysis of deep submicron digital integrated circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
14	Bwolen Yang, Reid G. Simmons, Randal E. Bryant, David R. O'Hallaron	Optimizing Symbolic Model Checking for Constraint-Rich Models.	CAV	1999	DBLP DOI BibTeX RDF
14	Takashi Kawakami	Dynamic Power Saving Strategy and Data System for Future Shinkansen Traffic Control.	ISADS	1999	DBLP DOI BibTeX RDF
14	Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen	Expressing Structural Properties as Language Constructs.	ESOP	1999	DBLP DOI BibTeX RDF
14	Anders Hedman	Creating digital libraries together - collaboration, multimodality, and plurality.	ITiCSE	1999	DBLP DOI BibTeX RDF	collaboration, digital libraries, multimodality, infrastructure
14	Srihari Cadambi, Seth Copen Goldstein	CPR: A Configuration Profiling Tool.	FCCM	1999	DBLP DOI BibTeX RDF
14	Nathan Kalyanasundharam, Nital Patwa	Simultaneous Switching Noise Considerations in the Design of a High Speed, Multiported TLB of a Server-Class Microprocessor.	ICCD	1999	DBLP DOI BibTeX RDF	multiported, supply inductance, TLB, simultaneous switching noise, decoupling capacitance
14	Ramachandran Ramjee, Thomas F. La Porta, Sandra R. Thuel, Kannan Varadhan, Shie Yuan Wang	HAWAII: A Domain-based Approach for Supporting Mobility in Wide-Area Wireless Networks.	ICNP	1999	DBLP DOI BibTeX RDF
14	Markus Rudack, Dirk Niggemeyer	Yield Enhancement Considerations for a Single-Chip Multiprocessor System with Embedded DRAM.	DFT	1999	DBLP DOI BibTeX RDF
14	Raouf Veliev, Alexander M. Rubinov, Andrew Stranieri	Neural Networks for Defuzification of Fuzzy Rules: An Application in Macroeconomic Forecasting.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
14	Yannick Monnier, Jean-Pierre Beauvais, Anne-Marie Déplanche	A Genetic Algorithm for Scheduling Tasks in a Real-Time Distributed System.	EUROMICRO	1998	DBLP DOI BibTeX RDF	Distributed computer control systems, Genetic Algorithms, Scheduling algorithms, Real-time tasks
14	Takao Terano, Setsuya Kurahashi, Ushio Minami	How TRURL Evolves Multiagent Worlds for Social Interaction Analysis.	Community Computing and Support Systems	1998	DBLP DOI BibTeX RDF
14	Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier	Clone Detection Using Abstract Syntax Trees.	ICSM	1998	DBLP DOI BibTeX RDF	Design Maintenance System, Software maintenance, clone detection, software evaluation
14	Chingwei Yeh, Chi-Shong Wang	On the integration of partitioning and global routing for rectilinear placement problems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
14	Tolga Asveren, Paul Molitor	New Crossover Methods For Sequencing Problems.	PPSN	1996	DBLP DOI BibTeX RDF
14	Michèle Dion, Cyril Randriamaro, Yves Robert	How to Optimize Residual Communications?	IPPS	1996	DBLP DOI BibTeX RDF
14	Yin Wu, Prem Kalra, Nadia Magnenat-Thalmann	Simulation of Static and Dynamic Wrinkles of Skin.	CA	1996	DBLP DOI BibTeX RDF	Animation, Texture, Skin, Wrinkle
14	Ming-Huei Shieh, Hung Chang Lin	Modeling hysteretic current-voltage characteristics for resonant tunneling diodes.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
14	Tapan J. Chakraborty, Vishwani D. Agrawal	Robust testing for stuck-at faults.	VLSI Design	1995	DBLP DOI BibTeX RDF	logic circuit testing, d-robust tests, fault diagnosis, logic testing, delays, sequential circuits, sequential circuits, fault models, combinational circuits, combinational circuit, robust testing, single stuck-at faults, circuit models
14	Jack A. Feldman, Israel A. Wagner, Shmuel Wimer	An efficient algorithm for some multirow layout problems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
14	Kjell O. Jeppson, Sven Christensson, Nils Hedenstierna	Formal definitions of edge-based geometric design rules.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
14	Timothy R. Hines	Open Systems Interconnection Abstract Syntax Notation: ASN.CG.	Workshop on Conceptual Graphs	1992	DBLP DOI BibTeX RDF
14	Mitsuru Igusa, Mark Beardslee, Alberto L. Sangiovanni-Vincentelli	ORCA a Sea-of-Gates Place and Route System.	DAC	1989	DBLP DOI BibTeX RDF
14	Gail E. Kaiser	Concurrent meld.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	MELD