Search results for "high-level description"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Víctor Fernández-Carbajales, José María Martínez Sanchez, Francisco Morán	High-Level Description Tools for Humanoids.	MRCS	2006	DBLP DOI BibTeX RDF
2	Alfredo Benso, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Raimund Ubar	A new approach to build a low-level malicious fault list starting from high-level description and alternative graphs.	ED&TC	1997	DBLP DOI BibTeX RDF
1	Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
1	Khalil Khattab, Julien Dubois, Johel Mitéran	Cascade Boosting-Based Object Detection from High-Level Description to Hardware Implementation.	EURASIP J. Emb. Sys.	2009	DBLP DOI BibTeX RDF
1	El Hachemi Alikacem, Houari A. Sahraoui	A Metric Extraction Framework Based on a High-Level Description Language.	SCAM	2009	DBLP DOI BibTeX RDF	Metric extraction, source code representation, meta-model, object-oriented metrics
1	Luís Da Costa, Marc Schoenauer	Bringing evolutionary computation to industrial applications with guide.	GECCO	2009	DBLP DOI BibTeX RDF	algorithms, evolutionary computation, software development
1	Nicolás López, Rubby Casallas, André van der Hoek	Issues in mapping change-based product line architectures to configuration management systems.	SPLC	2009	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv	Self-stabilization preserving compiler.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Compilers, self-stabilization, abstract state machines
1	Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith	Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Jun Yin, Yan Meng	Abnormal Behavior Recognition Using Self-Adaptive Hidden Markov Models.	ICIAR	2009	DBLP DOI BibTeX RDF
1	Alessandra Toninelli, Antonio Corradi, Rebecca Montanari	A Quality of Context-Aware Approach to Access Control in Pervasive Environments.	MOBILWARE	2009	DBLP DOI BibTeX RDF
1	António Porto	High-Level Interaction with Relational Databases in Logic Programming.	PADL	2009	DBLP DOI BibTeX RDF
1	Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla	Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith	Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.	DISC	2009	DBLP DOI BibTeX RDF
1	Virat Agarwal, David A. Bader, Lin Dan, Lurng-Kuo Liu, Davide Pasetto, Michael Perrone, Fabrizio Petrini	Faster FAST: multicore acceleration of streaming financial data.	Computer Science - R&D	2009	DBLP DOI BibTeX RDF
1	Julien Law-To, Olivier Buisson, Valérie Gouet-Brunet, Nozha Boujemaa	ViCopT: a robust system for content-based video copy detection in large databases.	Multimedia Syst.	2009	DBLP DOI BibTeX RDF	Video identification, Local video descriptors, Video copy detection
1	S. Hossein Sadat-Mohtasham, Ali A. Ghorbani	A language for high-level description of adaptive web systems.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	Sang-Hack Jung, Yanlin Guo, Harpreet S. Sawhney, Rakesh Kumar	Action video retrieval based on atomic action vocabulary.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	action video, video retrieval, action recognition
1	Georgia Koutrika, Robert Ikeda, Benjamin Bercovitz, Hector Garcia-Molina	Flexible recommendations over rich data.	RecSys	2008	DBLP DOI BibTeX RDF	courserank, flexible recommendations, workflows
1	S. Tucker Taft	Implementing the extended return statement for Ada 2005.	SIGAda	2008	DBLP DOI BibTeX RDF	build in place, extended return statement, limited types, ada 2005
1	Bernd Neumann, Thorsten von Sydow, Holger Blume, Tobias G. Noll	Design flow for embedded FPGAs based on a flexible architecture template.	DATE	2008	DBLP DOI BibTeX RDF
1	Morteza Damavandpeyma, Siamak Mohammadi	Architectural Synthesis with Control Data Flow Extraction toward an Asynchronous CAD Tool.	DSD	2008	DBLP DOI BibTeX RDF
1	Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers	Using AADL to Model a Protocol Stack.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Stephen Wong, Jing Sun 0002, Ian Warren, Jun Sun 0001	A Scalable Approach to Multi-style Architectural Modeling and Verification.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Jonathan A. Clarke, George A. Constantinides, Peter Y. K. Cheung, Alastair M. Smith	Glitch-aware output switching activity from word-level statistics.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Cyril Carrez, Jacqueline Floch, Richard Torbjørn Sanders	Describing Component Collaboration Using Goal Sequences.	DAIS	2008	DBLP DOI BibTeX RDF	Goal sequences, collaborative components, high-level service specification
1	Karol Jedrasiak, Aleksander Nawrat	Image Recognition Technique for Unmanned Aerial Vehicles.	ICCVG	2008	DBLP DOI BibTeX RDF	robotics, image recognition, color segmentation
1	Zef Hemel, Ruben Verhaaf, Eelco Visser	WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Kyle K. Chand, Lori Freitag Diachin, Xiaolin Li 0002, Carl Ollivier-Gooch, E. Seegyoung Seol, Mark S. Shephard, Timothy Tautges, Harold Trease	Toward interoperable mesh, geometry and field components for PDE simulation development.	Eng. Comput. (Lond.)	2008	DBLP DOI BibTeX RDF
1	Marcus Heinath, Jeronimo Dzaack, Andre Wiesner, Leon Urbas	Applications for Cognitive User Modeling.	User Modeling	2007	DBLP DOI BibTeX RDF	human computer interaction, analysis, cognitive modeling, usability evaluation, high-level description
1	Yookyung Jo, Carl Lagoze, C. Lee Giles	Detecting research topics via the correlation between graphs and texts.	KDD	2007	DBLP DOI BibTeX RDF	correlation of text and links, graph mining, topic detection, citation graphs, probabilistic measure
1	Xiaoyu Zhang, Denis Gracanin	From coarse-grained components to DVE applications: a service- and component-based framework.	Web3D	2007	DBLP DOI BibTeX RDF	coarse-grained component, interaction tasks, web services, framework, distributed virtual environment, web 3D
1	Hongbo Ni, Xingshe Zhou, Zhiwen Yu, Kejian Miao	OWL-Based Context-Dependent Task Modeling and Deducing.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Michael Andrews, Jeremy Johnson	Performance Analysis of a Family of WHT Algorithms.	IPDPS	2007	DBLP DOI BibTeX RDF
1	YoungJoon Byun	A Tool Support for Design and Validation of Communication Protocol using State Transition Diagrams.	ITNG	2007	DBLP DOI BibTeX RDF
1	Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva	Towards Equivalence Checking Between TLM and RTL Models.	MEMOCODE	2007	DBLP DOI BibTeX RDF
1	Alessandra Toninelli, Rebecca Montanari, Lalana Kagal, Ora Lassila	Proteus: A Semantic Context-Aware Adaptive Policy Model.	POLICY	2007	DBLP DOI BibTeX RDF
1	Julien Tierny, Jean-Philippe Vandeborre, Mohamed Daoudi	Topology driven 3D mesh hierarchical segmentation.	Shape Modeling International	2007	DBLP DOI BibTeX RDF
1	Aaron So, Ben Liang	Enhancing WLAN Capacity by Strategic Placement of Tetherless Relay Points.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	tetherless relay point, capacity improvement, Wireless local area network, mathematical programming/optimization, placement optimization
1	Encarnación Castillo, Uwe Meyer-Bäse, Antonio García, Luis Parrilla, Antonio Lloris-Ruíz	IPP@HDL: Efficient Intellectual Property Protection Scheme for IP Cores.	IEEE Trans. VLSI Syst.	2007	DBLP DOI BibTeX RDF
1	Marjorie McShane, Sergei Nirenburg, Stephen Beale, Bruce Jarrell, George Fantry	Knowledge-Based Modeling and Simulation of Diseases with Highly Differentiated Clinical Manifestations.	AIME	2007	DBLP DOI BibTeX RDF	gastroesophageal reflux disease, simulation, cognitive model, virtual patient
1	Grégory Batt, Ramzi Ben Salah, Oded Maler	On Timed Models of Gene Networks.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Rafal Leszczyna	Anonymity Architecture for Mobile Agent Systems.	HoloMAS	2007	DBLP DOI BibTeX RDF
1	Gang Zhou, Man-Kit Leung, Edward A. Lee	A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.	ICESS	2007	DBLP DOI BibTeX RDF
1	Juan Ignacio Perna, Jim Woodcock	A Denotational Semantics for Handel-C Hardware Compilation.	ICFEM	2007	DBLP DOI BibTeX RDF
1	Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford	Providing a formal linkage between MDG and HOL.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Verification system correctness, Hybrid verification systems, Formal hardware verification, Usability verification
1	Matthias Scheutz, James F. Kramer	RADIC: a generic component for the integration of existing reactive and deliberative layers.	AAMAS	2006	DBLP DOI BibTeX RDF	architecture integration, robotics, hybrid architectures
1	Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli	Platform-based design of wireless sensor networks for industrial applications.	DATE	2006	DBLP DOI BibTeX RDF
1	Sudarshan Murthy, David Maier, Lois M. L. Delcambre	Mash-o-matic.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	bi-level information, sidepad, superimposed information, mash-up, SPARCE, document transformation
1	Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié	Polychronous mode automata.	EMSOFT	2006	DBLP DOI BibTeX RDF
1	Soumya Pandit, Chittaranjan A. Mandal, Amit Patra	A formal approach for high level synthesis of linear analog systems.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	L2 sensitivity, analog high level synthesis, linear systems, architecture exploration, state space model
1	Animesh Pathak, Viktor K. Prasanna	Issues in designing a compilation framework for macroprogrammed networked sensor systems.	InterSense	2006	DBLP DOI BibTeX RDF
1	Julien Law-To, Olivier Buisson, Valérie Gouet-Brunet, Nozha Boujemaa	Robust voting algorithm based on labels of behavior for video copy detection.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	content-based video copy detection, label of behavior
1	Leïla Kloul, Juliana Küster Filipe	Modelling Mobility with UML2.0 and PEPA Nets.	ACSD	2006	DBLP DOI BibTeX RDF
1	Dan Cyca, Laurence E. Turner	Bit-Serial Digital Filter Implementation using a Custom C Compiler.	APCCAS	2006	DBLP DOI BibTeX RDF
1	Jonathan A. Clarke, George A. Constantinides	High-Level Power Optimization for Digital Signal Processing in Reconfigurable Logic.	FPL	2006	DBLP DOI BibTeX RDF
1	Marco D. Santambrogio, Donatella Sciuto	Partial Dynamic Reconfiguration: The Caronte Approach. A New Degree of Freedom in the HW/SW Codesign.	FPL	2006	DBLP DOI BibTeX RDF
1	Andreas Schallenberg, Wolfgang Nebel, Frank Oppenheimer	OSSS+R: Modelling and Simulating Self-Reconfigurable Systems.	FPL	2006	DBLP DOI BibTeX RDF
1	Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar	MoSCoE: A Framework for Modeling Web Service Composition and Execution.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
1	Arnaud Simon, Thomas Rischbeck	Service Contract Template.	IEEE SCC	2006	DBLP DOI BibTeX RDF
1	Christos Anagnostopoulos, Theodoros Alexandropoulos, Vassilis Loumos, Eleftherios Kayafas	Intelligent traffic management through MPEG-7 vehicle flow surveillance.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF	highway surveillance, vehicle re-identification, event detection, change detection, traffic management, license plate recognition
1	Pierre Tufféry, Zoé Lacroix, Hervé Ménager	Semantic Map of Services for Structural Bioinformatics.	SSDBM	2006	DBLP DOI BibTeX RDF
1	Pierre Vanhauwaert, Régis Leveugle, Philippe Roche	Reduced Instrumentation and Optimized Fault Injection Control for Dependability Analysis.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
1	Nomane Ould Ahmed M'Bareck, Samir Tata	BPEL Behavioral Abstraction and Matching.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF
1	Aad Mathijssen, A. Johannes Pretorius	Verified Design of an Automated Parking Garage.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Sergey Kolevatov, Matthias Wesseling, Axel Hunger	Generated Implementation of a WLAN Protocol Stack.	HPCC	2006	DBLP DOI BibTeX RDF	system level hardware abstraction, WLAN, Code generation, modeling language
1	Alessandra Toninelli, Rebecca Montanari, Lalana Kagal, Ora Lassila	A Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing Environments.	International Semantic Web Conference	2006	DBLP DOI BibTeX RDF
1	Hongbo Ni, Xingshe Zhou, Daqing Zhang, Ngoh Lek Heng	Context-Dependent Task Computing in Pervasive Environment.	UCS	2006	DBLP DOI BibTeX RDF
1	Jason Cong, Yiping Fan, Guoling Han, Yizhou Lin, Junjuan Xu, Zhiru Zhang, Xu Cheng	Bitwidth-aware scheduling and binding in high-level synthesis.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Umar Saif, Justin Mazzola Paluska, Vijay Praful Chauhan	Practical experience with adaptive service access.	Mobile Computing and Communications Review	2005	DBLP DOI BibTeX RDF
1	Indradeep Ghosh	High Level Test Generation for Custom Hardware: An Industrial Perspective.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
1	Martin Omaña, O. Losco, Cecilia Metra, Andrea Pagni	On the Selection of Unidirectional Error Detecting Codes for Self-Checking Circuits' Area Overhead and Performance Optimization.	IOLTS	2005	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre	Change impact analysis of enterprise architectures.	IRI	2005	DBLP DOI BibTeX RDF
1	Yen-Tai Lai, Hsin-Ya Lai, Chia-Nan Yeh	Placement for the reconfigurable datapath architecture.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Lilian Janin, Doug Edwards	Software Visualisation Techniques Adapted and Extended for Asynchronous Hardware Design.	IV	2005	DBLP DOI BibTeX RDF	program comprehension, asynchronous circuits, Software visualisation, coordinated views
1	Ming-Jen Huang, Takuya Katayama	Steering Model-Driven Evolution by Responsibilities.	IWPSE	2005	DBLP DOI BibTeX RDF
1	Etienne Bergeron, Xavier Saint-Mleux, Marc Feeley, Jean-Pierre David	High Level Synthesis for Data-Driven Applications.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
1	Damien Baumann, Jacques Tinembart	Designing Mathematical Morphology Algorithms on FPGAs: An Application to Image Processing.	CAIP	2005	DBLP DOI BibTeX RDF
1	Luca Padovani	Compilation of Generic Regular Path Expressions Using C++ Class Templates.	CC	2005	DBLP DOI BibTeX RDF
1	Magnus Ågren, Pierre Flener, Justin Pearson	Incremental Algorithms for Local Search from Existential Second-Order Logic.	CP	2005	DBLP DOI BibTeX RDF
1	Antonio Martínez, Leonardo Maria Reyneri, Francisco J. Pelayo, Samuel F. Romero, Christian A. Morillas, Begoña Pino	Automatic Generation of Bio-inspired Retina-Like Processing Hardware.	IWANN	2005	DBLP DOI BibTeX RDF
1	Giorgio Giacinto, Roberto Perdisci, Fabio Roli	Alarm Clustering for Intrusion Detection Systems in Computer Networks.	MLDM	2005	DBLP DOI BibTeX RDF	Clustering, Intrusion detection, Computer Security
1	José Rufino, António Pina, Albano Alves, José Exposto	Domus - An Architecture for Cluster-Oriented Distributed Hash Tables.	PPAM	2005	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv	Self-stabilization Preserving Compiler.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
1	Ivan Armuelles Voinov, Jorge E. López de Vergara, Tomás Robles Valladares, David Fernández Cambronero	Profile System for Management of Mobility Context Information for Access Network Selection and Transport Service Provision in 4G Networks.	WWIC	2005	DBLP DOI BibTeX RDF
1	Fernanda Lima Kastensmidt, Gustavo Neuberger, Luigi Carro, Ricardo Reis	Designing and testing fault-tolerant techniques for SRAM-based FPGAs.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	fault-tolerance, FPGA
1	Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton	On breakable cyclic definitions.	ICCAD	2004	DBLP DOI BibTeX RDF
1	Beat Fasel, Florent Monay, Daniel Gatica-Perez	Latent semantic analysis of facial action codes for automatic facial expression recognition.	Multimedia Information Retrieval	2004	DBLP DOI BibTeX RDF	automatic facial expression recognition, latent semantic analysis
1	Sagar Chaki, Alex Groce, Ofer Strichman	Explaining abstract counterexamples.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	model checking, fault localization, predicate abstraction
1	David Martin, Ian Sommerville	Patterns of cooperative interaction: Linking ethnomethodology and design.	ACM Trans. Comput.-Hum. Interact.	2004	DBLP DOI BibTeX RDF	Patterns of cooperative interaction, work design, human-computer interaction, ethnomethodology
1	Donald MacVicar, Stuart Ford, Ewan Borland, Robert Rixon, John W. Patterson, W. Paul Cockshott	3D Performance Capture for Facial Animation.	3DPVT	2004	DBLP DOI BibTeX RDF
1	Mathew A. Sacker, Andrew D. Brown, Peter R. Wilson, Andrew J. Rushton	A General Purpose Behavioural Asynchronous Synthesis System.	ASYNC	2004	DBLP DOI BibTeX RDF	Behavioural synthesis, asynchronous synthesis, cryptography
1	Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino	Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC.	DATE	2004	DBLP DOI BibTeX RDF
1	Kuen Hung Tsoi, Chun Hok Ho, H. C. Yeung, Philip Heng Wai Leong	An Arithmetic Library and Its Application to the N-body Problem.	FCCM	2004	DBLP DOI BibTeX RDF
1	Doris Ching, Patrick Schaumont, Ingrid Verbauwhede	Integrated Modeling and Generation of a Reconfigurable Network-on-Chip.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Mahesh Mamidipaka, Kamal S. Khouri, Nikil D. Dutt, Magdy S. Abadir	IDAP: a tool for high-level power estimation of custom array structures.	IEEE Trans. on CAD of Integrated Circuits and Systems	2004	DBLP DOI BibTeX RDF
1	Hyoung-Gook Kim, Nicolas Moreau, Thomas Sikora	Audio classification based on MPEG-7 spectral basis representations.	IEEE Trans. Circuits Syst. Video Techn.	2004	DBLP DOI BibTeX RDF
1	Mathew A. Sacker, Andrew D. Brown, Andrew J. Rushton, Peter R. Wilson	A behavioral synthesis system for asynchronous circuits.	IEEE Trans. VLSI Syst.	2004	DBLP DOI BibTeX RDF
1	Richard Bowden, David Windridge, Timor Kadir, Andrew Zisserman, Michael Brady	A Linguistic Feature Vector for the Visual Interpretation of Sign Language.	ECCV	2004	DBLP DOI BibTeX RDF
1	Holger Lange, Andreas Koch	HW/SW Co-design by Automatic Embedding of Complex IP Cores.	FPL	2004	DBLP DOI BibTeX RDF