|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 732 occurrences of 548 keywords
|
|
|
|
|
Results
Found 610 publication records. Showing 610 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Stefan Klink, Yu Li, Andreas Oberweis |
INCOME2010 - a toolset for developing process-oriented information systems based on petri nets.  |
SimuTools  |
2008 |
DBLP DOI BibTeX RDF |
XML nets, software toolset, SOA, petri nets, information systems |
| 3 | Franz J. Kurfess, Mrinalini Lankala, Ashok Vantipalli, Lonnie R. Welch |
A toolset for the reengineering of complex computer systems.  |
ECBS  |
1997 |
DBLP DOI BibTeX RDF |
reengineering toolset, complex computer systems, abstract intermediate representation, system software architecture, program level, task level, package/object instance level, subprogram level, statement level, rendezvous graph, call-rendezvous graph, call-data-rendezvous graph, software architecture, graphical user interface, software design, granularity, systems re-engineering, dependence graphs, control flow graph, interaction analysis, call graph, computer-based systems, software transformation |
| 3 | John V. Harrison, Anthony Berglas, Ian Peake |
Legacy 4GL Application Migration via Knowledge-Based Software Engineering Technology: A Case Study.  |
Australian Software Engineering Conference  |
1997 |
DBLP DOI BibTeX RDF |
legacy 4GL application migration, fourth-generation languages, database vendors, toolset, industry-sponsored research project, software re-engineering toolset, database, case study, programming environments, cost, organisation, knowledge-based software engineering, information system applications |
| 3 | J. R. Carnes, Amit Misra, Janos Sztipanovits |
Model-integrated toolset for fault detection, isolation and recovery (FDIR).  |
ECBS  |
1996 |
DBLP DOI BibTeX RDF |
space vehicles, model-integrated toolset, complex engineering systems, system deployment, information intensive tests, in-depth knowledge, large complex spacecraft system development, engineering design phase, fault diagnosis, software maintenance, software tools, system design, fault detection, system recovery, system monitoring, special purpose computers, systems software, fault recovery, aerospace computing, system implementation, fault isolation, system validation, system maintenance |
| 3 | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.  |
IEEE Trans. Software Eng.  |
1991 |
DBLP DOI BibTeX RDF |
constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states |
| 2 | Lawrence Cabac, Till Dörges, Michael Duvigneau, Daniel Moldt |
Requirements and Tools for the Debugging of Multi-Agent Systems.  |
MATES  |
2009 |
DBLP DOI BibTeX RDF |
toolset, multi-agent systems, Debugging, requirements, Mulan |
| 2 | Michael Leuschel, Michael J. Butler |
ProB: an automated analysis toolset for the B method.  |
STTT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Romain Robbes, Michele Lanza |
SpyWare: a change-aware development toolset.  |
ICSE  |
2008 |
DBLP DOI BibTeX RDF |
modelling, visualization, program transformation, change |
| 2 | John C. Grundy, John G. Hosking, Jun Huh, Karen Na-Liu Li |
Marama: an eclipse meta-toolset for generating multi-view environments.  |
ICSE  |
2008 |
DBLP DOI BibTeX RDF |
domain-specific visual languages, meta-tools, code generation, model-driven engineering |
| 2 | Richard Maciel, Bruno Albertini, Sandro Rigo, Guido Araujo, Rodolfo Azevedo |
A Methodology and Toolset to Enable SystemC and VHDL Co-simulation.  |
ISVLSI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | David Montgomery, Ali Akoglu |
Methodology and Toolset for ASIP Design and Development Targeting Cryptography-Based Applications.  |
ASAP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin Ouimet, Kristina Lundqvist |
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems.  |
CAV  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Minghui Jiang, Martin Mayne, Joel Gillespie |
Delta: A Toolset for the Structural Analysis of Biological Sequences on a 3D Triangular Lattice.  |
ISBRA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani |
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset.  |
ICSE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas Rauber, Gudula Rünger |
Incremental Transformation of Business Software.  |
ICEIS (Selected Papers)  |
2007 |
DBLP DOI BibTeX RDF |
Incremental transformation, transformation toolset, component, legacy software |
| 2 | Martin Ouimet, Guillaume Berteau, Kristina Lundqvist |
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset.  |
MoDELS Workshops  |
2006 |
DBLP DOI BibTeX RDF |
Simulation, Modeling, Real-Time Systems, Embedded Systems, Formal Specification |
| 2 | Hu Chen, Wenguang Chen, Jian Huang, Bob Robert, H. Kuhn |
MPIPP: an automatic profile-guided parallel process placement toolset for SMP clusters and multiclusters.  |
ICS  |
2006 |
DBLP DOI BibTeX RDF |
graph mapping, process placement, cluster, parallel computing, graph partitioning |
| 2 | Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann, Michael R. Marty, Min Xu, Alaa R. Alameldeen, Kevin E. Moore, Mark D. Hill, David A. Wood |
Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset.  |
SIGARCH Computer Architecture News  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jie Tao, Wolfgang Karl |
CacheIn: A Toolset for Comprehensive Cache Inspection.  |
International Conference on Computational Science  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi |
Efficient: A Toolset for Building Trusted B2B Transactions.  |
CAiSE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Gerard Lommerse, Freek Nossin, Lucian Voinea, Alexandru Telea |
The Visual Code Navigator: An Interactive Toolset for Source Code Investigation.  |
INFOVIS  |
2005 |
DBLP DOI BibTeX RDF |
source code visualization, pixel-filling displays, multiple views, treemaps, source code analysis |
| 2 | Jacob T. Biehl, Brian P. Bailey |
A Toolset for Creating Iconic Interfaces for Interactive Workspaces.  |
INTERACT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Anirban Lahiri, Satya Jyoti Chattopadhyay, Anupam Basu |
Sparsha: a comprehensive indian language toolset for the blind.  |
ASSETS  |
2005 |
DBLP DOI BibTeX RDF |
visual impairment, braille, audio feedback, Indian languages |
| 2 | Muhammad Ali Babar, Didar Zowghi |
Developing a Requirements Management Toolset: Lessons Learned.  |
Australian Software Engineering Conference  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Harold J. Batteram, Wim Hellenthal, Willem A. Romijn, Andreas Hoffmann, Axel Rennoch, Alain Vouffo |
Implementation of an Open Source Toolset for CCM Components and Systems Testing.  |
TestCom  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis |
The IF Toolset.  |
SFM  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Andrew Lewis, David Abramson, Tom Peachey |
RSCS: A Parallel Simplex Algorithm for the Nimrod/O Optimization Toolset.  |
ISPDC/HeteroPar  |
2004 |
DBLP DOI BibTeX RDF |
Nelder-Mead algorithm, optimization, Parallel programming |
| 2 | S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi |
A Toolset for Modelling and Verification of GALS Systems.  |
CAV  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | M. Arns, Markus Fischer, Carsten Tepper, Markus Völker |
Visualization of Analysis Results in the ProC/B Toolset.  |
QEST  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Li Zhang 0002, Zhen Liu, Anton Riabov, Monty Schulman, Cathy H. Xia, Fan Zhang |
A Comprehensive Toolset for Workload Characterization, Performance Modeling, and Online Control.  |
Computer Performance Evaluation / TOOLS  |
2003 |
DBLP DOI BibTeX RDF |
on-line control, Performance analysis, performance prediction, queueing networks, capacity planning, Web service modeling |
| 2 | Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra |
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems.  |
ECBS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Muhammad Ali Babar |
An Experience of Applying Architecture-based Approach to Build a Component-based Requirements Management Toolset.  |
COMPSAC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Alberto Manzone, Claudio Genta |
Automatic toolset for fault tolerant design: results demonstration on a running industrial application.  |
IOLTS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Daniel C. DuVarney, S. Purushothaman Iyer |
C Wolf - A Toolset for Extracting Models from C Programs.  |
FORTE  |
2002 |
DBLP DOI BibTeX RDF |
Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs |
| 2 | Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker |
The ProC/B Toolset for the Modelling and Analysis of Process Chains.  |
Computer Performance Evaluation / TOOLS  |
2002 |
DBLP DOI BibTeX RDF |
Process Chains, Generalised Stochastic Petri Nets, Simulation, E-Commerce, E-Business, Queueing Networks |
| 2 | Wuwei Shen, Kevin J. Compton, James Huggins |
A Toolset for Supporting UML Static and Dynamic Model Checking.  |
COMPSAC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Wuwei Shen, Kevin J. Compton, James Huggins |
A UML Validation Toolset Based on Abstract State Machines.  |
ASE  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Darren Foulger, Steve King |
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.  |
Ada-Europe  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |
µCRL: A Toolset for Analysing Algebraic Specifications.  |
CAV  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Julien Bourgeois, François Spies, M. J. Zemerly, Thierry Delaitre |
Chronos: a Performance Characterization Tool Inside the EDPEPPS Toolset.  |
The Journal of Supercomputing  |
2000 |
DBLP DOI BibTeX RDF |
CPU modeling, cache memory modeling, parallel programing environments, Performance characterization |
| 2 | Suleyman Sair, Guiseppe Olivadoti, David R. Kaeli, José Fridman |
DSPTune: A Performance Evaluation Toolset for the SHARC Signal Processor.  |
Annual Simulation Symposium  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Heinrich Hußmann, Birgit Demuth, Frank Finger |
Modular Architecture for a Toolset Supporting OCL.  |
UML  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Michel Courson, Alan Mink, Guillaume Marçais, Benjamin Traverse |
An Automated Benchmarking Toolset.  |
HPCN  |
2000 |
DBLP DOI BibTeX RDF |
visualization, performance analysis, database, Cluster computing, performance measurement, data collection, queuing system |
| 2 | Iosif Legrand, Harvey B. Newman |
The MONARC toolset for simulating large network-distributed processing systems.  |
Winter Simulation Conference  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Lourdes Fernández, J. Alfredo Sánchez, Luis Arturo Flores |
An Environment for the Collaborative Revision of Digital Theses. (PDF / PS)  |
CRIWG  |
2000 |
DBLP DOI BibTeX RDF |
collaborative revision, digital theses, asynchronous cooperative toolset, University Digital Libraries for All, Internet, Internet, digital library, annotation, revision, electronic documents, Zeus |
| 2 | Seungwoo Son, Chaedeok Lim, Heung-Nam Kim |
Debugging protocol for remote cross development environment.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers |
| 2 | David P. Gilliam, John C. Kelly, Matt Bishop |
Reducing Software Security Risk through an Integrated Approach. (PDF / PS)  |
WETICE  |
2000 |
DBLP DOI BibTeX RDF |
Security Toolset, Vulnerability Matrix, Model Specification Checking, Security Verification, Property-Based Testing |
| 2 | Ulf Lindqvist, Phillip A. Porras |
Detecting Computer and Network Misuse through the Production-based Expert System Toolset (P-BEST). (PDF / PS)  |
IEEE Symposium on Security and Privacy  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | David Lorge Parnas, Dennis K. Peters |
An Easily Extensible Toolset for Tabular Mathematical Expressions.  |
TACAS  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor |
Cronos: A Separate Compilation Toolset for Modular Esterel Applications.  |
World Congress on Formal Methods  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Thierry Delaitre, M. J. Zemerly, P. Vekariya, G. R. Justo, Julien Bourgeois, F. Schinkman, François Spies, S. Randoux, Stephen C. Winter |
EDPEPPS: A Toolset for the Design and Performance Evaluation of Parallel Applications.  |
Euro-Par  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin Fleury, N. Sarvan, Andy C. Downton, Adrian F. Clark |
A Parallel-System Design Toolset for Vision and Image Processing.  |
Euro-Par  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Constance L. Heitmeyer |
Using the SCR* Toolset to Specify Software Requirements.  |
WIFT  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Doron Peled |
A Toolset for Message Sequence Charts.  |
CAV  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Thierry Delaitre, P. Vekariya, R. Bigeard, G. R. Justo, Stephen C. Winter, M. J. Zemerly |
EDPEPPS: An Integrated Graphical Toolset for the Design and Performance Evaluation of Portable Parallel Software.  |
Euro-Par  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Alex E. Bell |
An Alternative Toolset for Analysis of Ada Programs.  |
Ada-Europe  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Brian Dobbing, Marc Richard-Foy |
T-SMART - Task-Safe, Minimal Ada Realtime Toolset.  |
Ada-Europe  |
1997 |
DBLP DOI BibTeX RDF |
Ada83, Software Reliability, Certification, Ada 95 |
| 2 | Saurav Chatterjee, Kevin Bradley, Jose A. Madriz, James A. Colquist, Jay K. Strosnider |
SEW: A Toolset For Design and Analysis of Distributed Real-Time Systems. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Devesh Bhatt, Vicraj T. Thomas, John Shackleton |
A methodology and toolset for the design of parallel embedded systems.  |
OOPS Messenger  |
1996 |
DBLP DOI BibTeX RDF |
|
| 2 | Premkumar T. Devanbu, Sakke Karstu, Walcélio L. Melo, William Thomas |
Analytical and Empirical Evaluation of Software Reuse Metrics.  |
ICSE  |
1996 |
DBLP BibTeX RDF |
industrial projects, productivity data, quality data, savings measurement, software reuse metrics, software system development, toolset, software tools, software metrics, software components, software reusability, empirical evaluation, software cost estimation, human resource management, student projects, analytical evaluation, cost savings |
| 2 | Kingsum Chow, David Notkin |
Semi-automatic update of applications in response to library changes. (PDF / PS)  |
ICSM  |
1996 |
DBLP DOI BibTeX RDF |
semi-automatic application update, library changes, library syntax, library semantics, updated libraries, toolset, library maintainer, changed functions, rules, costs, software libraries, software libraries, programmers |
| 2 | Michael J. Whitney, Morris Bernstein, Renato de Mori, Kostas Kontogiannis, Brain Corrie, Hausi A. Müller, Scott R. Tilley, Ettore Merlo, John Mylopoulos, Kenny Wong, J. Howard Johnson, James McDaniel, Martin Stanley |
Using an integrated toolset for program understanding.  |
CASCON  |
1995 |
DBLP DOI BibTeX RDF |
|
| 2 | Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale |
DCCA: a versatile paradigm for the description and development of concurrent communicating systems.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system |
| 2 | K. Lano |
Specifying static analysis tools using formal methods.  |
ICECCS  |
1995 |
DBLP DOI BibTeX RDF |
static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment |
| 2 | Harald Wabnig, Günter Haring |
PAPS - The Parallel Program Performance Prediction Toolset.  |
Computer Performance Evaluation  |
1994 |
DBLP DOI BibTeX RDF |
|
| 2 | John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato de Mori, Graham W. Ewart, Kostas Kontogiannis, Ettore Merlo, Hausi A. Müller, Scott R. Tilley, Marijana Tomic |
Towards an integrated toolset for program understanding.  |
CASCON  |
1994 |
DBLP DOI BibTeX RDF |
|
| 2 | George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.  |
IEEE Trans. Software Eng.  |
1994 |
DBLP DOI BibTeX RDF |
time bound derivation, uniprocessor concurrent systems, concurrent software system, single processor, arbitrary scheduling, integer programming methods, constrained expression toolset, very large state spaces, scheduling, real-time systems, lower bounds, concurrency control, integer programming, systems analysis, upper bounds, timing analysis, concurrent systems, linear inequalities, timing properties, finite state systems, complex real-time systems |
| 2 | G. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith |
A Graphical Interval Logic Toolset for Verifying Concurrent Systems.  |
CAV  |
1993 |
DBLP DOI BibTeX RDF |
|
| 2 | Alessandro Giovini, Franco Morando, Antonio Capani |
Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems.  |
ALP  |
1992 |
DBLP DOI BibTeX RDF |
|
| 2 | Chris Dollin |
The HP-ST Toolset.  |
VDM Europe  |
1991 |
DBLP DOI BibTeX RDF |
|
| 2 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters |
| 2 | N. Serdar Uckun, Benoit M. Dawant, Kazuhiko Kawamura |
NetGraph: an object-oriented graphical toolset for risk assessment.  |
IEA/AIE  |
1989 |
DBLP DOI BibTeX RDF |
|
| 2 | Axel Mahler, Andreas Lampen |
An Integrated Toolset for Engineering Software Configurations.  |
Software Development Environments (SDE)  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas C. Ormerod, Linden J. Ball, Nicola J. Morley |
Informing the development of a fraud prevention toolset through a situated analysis of fraud investigation expertise.  |
Behaviour & IT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simson Garfinkel |
Digital forensics XML and the DFXML toolset.  |
Digital Investigation  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph D. Yesselman, Daniel J. Price, Jennifer L. Knight, Charles L. Brooks III |
MATCH: An atom-typing toolset for molecular mechanics force fields.  |
Journal of Computational Chemistry  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Smith, Guillermo Francia III |
Security fuzzing toolset.  |
ACM Southeast Regional Conference  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Becker, Ralf Knackstedt, Mathias Eggert, Stefan Fleischer |
Fachkonzeptionelle Modellierung von Berichtspflichten in Finanzaufsicht und Verwaltung mit dem H2-Toolset.  |
FTVI/FTRI  |
2012 |
DBLP BibTeX RDF |
|
| 1 | David Milam, Magy Seif El-Nasr, Lyn Bartram, Matt Lockyer, Chao Feng, Perry Tan |
Toolset to explore visual motion designs in a video game.  |
CHI Extended Abstracts  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Snyder |
OSSIE: an open source software defined radio (SDR) toolset for education and research (abstract only).  |
SIGCSE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse |
Experiences in developing the mCRL2 toolset.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A model-driven process for engineering a toolset for a formal method.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny |
PlanICS - a Web Service Composition Toolset.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans |
An interactive multi-perspective toolset for non-linear product configuration processes.  |
SPLC Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans |
A Toolset for Feature-Based Configuration Workflows.  |
SPLC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Shan Yap, John G. Hosking, John C. Grundy |
Automatic diagram layout support for the Marama meta-toolset.  |
VL/HCC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall |
The Capture Calculus Toolset.  |
ASE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Tennina, Mélanie Bouroche, Ricardo Gomes, Farrukh Mirza, Mario Alves, Gabriella Carrozza |
EMMON: a WSN system architecture and toolset for large-scale and dense real-time embedded monitoring.  |
SenSys  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abelardo Jara-Berrocal, Ann Gordon-Ross |
An integrated development toolset and implementation methodology for partially reconfigurable system-on-chips.  |
ASAP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Evtyushkin, Peter Panfilov, Dmitry Ponomarev |
CacheVisor: A Toolset for Visualizing Shared Caches in Multicore and Multithreaded Processors.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gründl, Susanne Naegele-Jackson |
Toolset zur Planung und Qualitätssicherung von verteilten virtuellen Netzwerkstrukturen.  |
DFN-Forum Kommunikationstechnologien  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage |
An Implementation of the Behavior Annex in the AADL-Toolset Osate2.  |
ICECCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bacchelli, Michele Lanza, Marco D'Ambros |
Miler: a toolset for exploring email data.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Deckert, Abram Stern, Warren Sack |
System demonstration: a toolset for web-based peer review of scientific testimony.  |
DG.O  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Albrecht Schmidt |
Engineering interactive ubiquitous computing systems.  |
EICS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Geimer, Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Bernd Mohr |
The Scalasca performance toolset architecture.  |
Concurrency and Computation: Practice and Experience  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisak Abdella, Knut Alfredsen |
A GIS toolset for automated processing and analysis of radar precipitation data.  |
Computers & Geosciences  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Tao |
Comprehensive cache performance tuning with a toolset.  |
Future Generation Comp. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian J. N. Wylie, Markus Geimer, Bernd Mohr, David Böhme, Zoltán Szebenyi, Felix Wolf |
Large-Scale Performance Analysis of Sweep3D with the Scalasca Toolset.  |
Parallel Processing Letters  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Kepa, Fearghal Morgan, Krzysztof Kosciuszkiewicz, Lars Braun, Michael Hübner, Jürgen Becker |
Design Assurance Strategy and Toolset for Partially Reconfigurable FPGA Systems.  |
TRETS  |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 610 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|