|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 883 occurrences of 557 keywords
|
|
|
Results
Found 1206 publication records. Showing 1206 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Chang-Hsien Tsai, Shih-Kun Huang |
Detection and Diagnosis of Control Interception. |
ICICS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Wei Li 0020, Tzi-cker Chiueh |
Automated Format String Attack Prevention for Win32/X86 Binaries. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew Cherry |
The computer as software component: A mechanism for developing and testing resource management software. |
CLUSTER |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Atsushi Kasuya, Tesh Tesfaye |
Verification Methodologies in a TLM-to-RTL Design Flow. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Farhad Mehta |
Supporting Proof in a Reactive Development Environment. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Mi-Young Park, Seok Young Kim, Hyuk-Ro Park |
Visualization of Affect-Relations of Message Races for Debugging MPI Programs. |
GrC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Satish Narayanasamy, Gilles Pokam, Brad Calder |
BugNet: Recording Application-Level Execution for Deterministic Replay Debugging. |
IEEE Micro |
2006 |
DBLP DOI BibTeX RDF |
BugNet, debugging, DMA |
9 | Ming Zhang 0017, Subhasish Mitra, T. M. Mak, Norbert Seifert, Nicholas J. Wang, Quan Shi, Kee Sup Kim, Naresh R. Shanbhag, Sanjay J. Patel |
Sequential Element Design With Built-In Soft Error Resilience. |
IEEE Trans. Very Large Scale Integr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
9 | David C. Thompson 0001, Philippe P. Pébay |
Embarrassingly parallel mesh refinement by edge subdivision. |
Eng. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Adaptive tetrahedral tessellation, Parallel mesh refinement, Streaming subdivision, Symmetric groups |
9 | Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla |
Validating Families of Latency Insensitive Protocols. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
long interconnects, latency insensitive protocols, splitter, verification framework, Simulation, formal verification, merger, relay station |
9 | Priya Nagpurkar, Hussam Mousa, Chandra Krintz, Timothy Sherwood |
Efficient remote profiling for resource-constrained devices. |
ACM Trans. Archit. Code Optim. |
2006 |
DBLP DOI BibTeX RDF |
phased behavior, sampling, Profiling, resource-constrained devices |
9 | Sihan Qing, Gaicheng Li |
Formal analysis and design of multi-party fair exchange protocols. |
Sci. China Ser. F Inf. Sci. |
2006 |
DBLP DOI BibTeX RDF |
logical protocol, formal model, security requirement, fair exchange |
9 | Mehrdad Reshadi, Nikil D. Dutt, Prabhat Mishra 0001 |
A retargetable framework for instruction-set architecture simulation. |
ACM Trans. Embed. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Retargetable instruction-set simulation, generic instruction model, instruction binary encoding, architecture description language, decode algorithm |
9 | Eric Van Hensbergen |
P.R.O.S.E.: partitioned reliable operating system environment. |
ACM SIGOPS Oper. Syst. Rev. |
2006 |
DBLP DOI BibTeX RDF |
Linux |
9 | John Regehr, Usit Duongsaa |
Deriving abstract transfer functions for analyzing embedded software. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, embedded software, transfer functions |
9 | Smruti R. Sarangi, Brian Greskamp, Josep Torrellas |
CADRE: Cycle-Accurate Deterministic Replay for Hardware Debugging. |
DSN |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Ruben Gamboa, John R. Cowles |
Implementing a cost-aware evaluator for ACL2 expressions. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
ACL2 evaluator, function cost, evaluators |
9 | Andrés Moreno |
Algorithm Animation. |
Human-Centered Visualization Environments |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Adam Dunkels, Oliver Schmidt, Thiemo Voigt, Muneeb Ali |
Protothreads: simplifying event-driven programming of memory-constrained embedded systems. |
SenSys |
2006 |
DBLP DOI BibTeX RDF |
wireless sensor networks, embedded systems, threads |
9 | Tracy Hammond, Randall Davis |
Interactive learning of structural shape descriptions from automatically generated near-miss examples. |
IUI |
2006 |
DBLP DOI BibTeX RDF |
near-miss, user interfaces, active learning, shape description, sketch recognition, structural description, ladder |
9 | Calin Ciordas, Andreas Hansson 0001, Kees Goossens, Twan Basten |
A Monitoring-Aware Network-on-Chip Design Flow. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Patrick Reynolds, Janet L. Wiener, Jeffrey C. Mogul, Marcos Kawazoe Aguilera, Amin Vahdat |
WAP5: black-box performance debugging for wide-area systems. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
black box systems, distributed systems, performance analysis, performance debugging |
9 | Bill Eklow, Ben Bennetts |
New Techniques for Accessing Embedded Instrumentation: IEEE P1687 (IJTAG). |
ETS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit |
Path Optimization in Programs and Its Application to Debugging. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Syed M. Rahman, Paul L. Juell |
Applying Software Development Lifecycles in Teaching Introductory Programming Courses. |
CSEE&T |
2006 |
DBLP DOI BibTeX RDF |
software testing, software quality, programming language, Software development method, software cost |
9 | Manuel Freire 0001, Pilar Rodríguez 0001 |
A Graph-Based Monitoring Tool for Adaptive Hypermedia Course Systems. |
AH |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Stephen Weeks |
Whole-program compilation in MLton. |
ML |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Ranveer Chandra, Venkata N. Padmanabhan, Ming Zhang |
WiFiProfiler: cooperative diagnosis in wireless LANs. |
MobiSys |
2006 |
DBLP DOI BibTeX RDF |
peer-to-peer performance problems, wireless networks, fault diagnosis, 802.11 |
9 | Cesare Pautasso, Win Bausch, Gustavo Alonso |
Autonomic Computing for Virtual Laboratories. |
Research Results of the DICS Program |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Paulo Blikstein, Uri Wilensky |
The Missing Link: A Case Study of Sensing-and-Modeling Toolkits for Constructionist Scientific Investigation. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Thinh M. Le, Xiaohua Tian, B. L. Ho, J. Nankoo, Yong Lian 0001 |
System-on-Chip Design Methodology for a Statistical Coder. |
IEEE International Workshop on Rapid System Prototyping |
2006 |
DBLP DOI BibTeX RDF |
statistical coder, SoC, design methodology, CABAC |
9 | Wlodzimierz Funika, Pawel Swierszcz |
Dynamic Instrumentation of Distributed Java Applications Using Bytecode Modifications. |
International Conference on Computational Science (2) |
2006 |
DBLP DOI BibTeX RDF |
J-OMIS, J-OCM, Java, instrumentation, bytecode |
9 | Lawrence Cabac, Nicolas Knaak, Daniel Moldt, Heiko Rölke |
Analysis of Multi-Agent Interactions with Process Mining Techniques. |
MATES |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Wei-Hsiang Cheng, Chin-Lung Chuang, Chien-Nan Jimmy Liu |
An efficient mechanism to provide full visibility for hardware debugging. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Thippaya Chintakovid, Susan Wiedenbeck, Margaret M. Burnett, Valentina Grigoreanu |
Pair Collaboration in End-User Debugging. |
VL/HCC |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Caroline Appert, Michel Beaudouin-Lafon |
SwingStates: adding state machines to the swing toolkit. |
UIST |
2006 |
DBLP DOI BibTeX RDF |
java swing, toolkit, state machine, widget |
9 | André V. Fidalgo, Gustavo R. Alves, José M. Ferreira 0001 |
Real Time Fault Injection Using Enhanced OCD -- A Performance Analysis. |
DFT |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Arnaud Epinat, N. Vijayaraghavan, Matthieu Sautier, Olivier Callen, Sebastien Fabre, Ryan Ross, Paul Simon, Robin Wilson |
Yield Enhancement Methodology for CMOS Standard Cells. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Ajay Khoche |
Session Abstract. |
VTS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Nicolas Loriant, Jean-Marc Menaud |
The Case for Distributed Execution Replay Using a Virtual Machine. |
WETICE |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Michael Rudgyard |
Software tools II - Novel techniques for debugging and optimizing parallel applications. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Phillip Dykstra |
M07 - High performance data transfer. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Christopher Gottbrath |
S09 - Eliminating parallel application memory bugs with TotalView. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Suresh Balasubramanian, Narayanan Natarajan, Olivier Franza, Chris Gianos |
Deterministic Low-Latency Data Transfer across Non-Integral Ratio Clock Domains. |
VLSI Design |
2006 |
DBLP DOI BibTeX RDF |
|
9 | David Himmelstrup |
Interactive debugging with GHCi. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
interactive, debugging, Haskell, Haskell, breakpoints |
9 | Jeffrey C. Mogul |
Emergent (mis)behavior vs. complex software systems. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
emergent misbehavior, complex systems, emergent behavior |
9 | Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel |
Using queries for distributed monitoring and forensics. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
declarative overlays, invariant checking, distributed debugging, distributed monitoring |
9 | Sanjeev Kumar, Michael Chu, Christopher J. Hughes, Partha Kundu, Anthony D. Nguyen |
Hybrid transactional memory. |
PPoPP |
2006 |
DBLP DOI BibTeX RDF |
transactions, transactional memory, nonblocking, architecture support |
9 | George K. Baah, Alexander G. Gray, Mary Jean Harrold |
On-line anomaly detection of deployed software: a statistical machine learning approach. |
SOQUA |
2006 |
DBLP DOI BibTeX RDF |
anomaly diagnosis, machine learning, anomaly detection, Markov models, fault localization |
9 | Wei Wang 0076, Binxing Fang |
Grid Service Based Parallel Debugging Environment. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Subhasish Mitra, Norbert Seifert, Ming Zhang 0017, Quan Shi, Kee Sup Kim |
Subhasish Mitra, Norbert Seifert, Ming Zhang, Quan Shi, Kee Sup Kim. |
Computer |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Sylvain Piechowiak, Joaquin Rodriguez |
The Localization and Correction of Errors in Models: A Constraint-Based Approach. |
Appl. Intell. |
2005 |
DBLP DOI BibTeX RDF |
debugging constraint networks, model-based reasoning, constraint reasoning |
9 | |
Panel Summaries. |
IEEE Des. Test Comput. |
2005 |
DBLP DOI BibTeX RDF |
IEEE VLSI Test Symposium, VTS 05, IEEE 1500, IOLTS 05 |
9 | Cliff B. Jones |
Some Interdisciplinary Observations about Getting the "Right" Specification. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg |
Effective Testing and Debugging Techniques for a Group Communication System. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jonny Vinter, Olof Hannius, Torbjörn Norlander, Peter Folkesson, Johan Karlsson |
Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel |
An empirical framework for comparing effectiveness of testing and property-based formal analysis. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
model checking, static analysis, empirical software engineering, mutation testing, bug detection |
9 | Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh |
String analysis for x86 binaries. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Vincent Nollet, Prabhat Avasare, Jean-Yves Mignolet, Diederik Verkest |
Low Cost Task Migration Initiation in a Heterogeneous MP-SoC. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jinyong Jo, Woojin Seok, JaiSeung Kwak, Okhwan Byeon |
Design and Implementation of QoS Measurement and Network Diagnosing Framework for IP Multicast in Advanced Collaborative Environment. |
ACIS-ICIS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh |
Generic Verification of Security Protocols. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jules White, Boris Kolpackov, Balachandran Natarajan, Douglas C. Schmidt |
Reducing application code complexity with vocabulary-specific XML language bindings. |
ACM Southeast Regional Conference (2) |
2005 |
DBLP DOI BibTeX RDF |
W3C XML schema, vocabulary-specific language binding, XML, C++, DOM, SAX |
9 | Amir Hekmatpour, Azadeh Salehi |
Block-based Schema-driven Assertion Generation for Functional Verification. |
Asian Test Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Marzieh Ahmadzadeh, Dave Elliman, Colin Higgins |
An analysis of patterns of debugging among novice computer science students. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
debugging, programming |
9 | Renzo Davoli, Michael Goldweber |
Virtual square (V2) in computer science education. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
security, networking, virtual machine, operating systems, teaching, laboratory, administration |
9 | Juan Fernández 0001, Fabrizio Petrini, Eitan Frachtenberg |
Monitoring and Debugging Parallel Software with BCS-MPI on Large-Scale Clusters. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Mike Muller |
The challenges of embedded system design. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Cristiano Pereira, Jeremy Lau, Brad Calder, Rajesh K. Gupta 0001 |
Dynamic phase analysis for cycle-close trace generation. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
SimPoint, simulation, tracing, phase |
9 | Wen Y. Su, John C. Hart |
A Programmable Particle System Framework for Shape Modeling. |
SMI |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Min Xu, Rastislav Bodík, Mark D. Hill |
A serializability violation detector for shared-memory server programs. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
multithreading, serializability, race conditions |
9 | Kevin Camera, Hayden Kwok-Hay So, Robert W. Brodersen |
An integrated debugging environment for reprogrammble hardware systems. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Adrian Pop, Peter Fritzson |
Debugging natural semantics specifications. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
logical functional languages, proof-trees, debugging, rule-based |
9 | Adrian Chirila-Rus, Kristof Denolf, Bart Vanhoof, Paul R. Schumacher, Kees A. Vissers |
Communication Primitives Driven Hardware Design and Test Methodology Applied on Complex Video Applications. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Milind Kulkarni 0003, J. Benita Bommi |
Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Bhanu Pisupati, Geoffrey Brown |
File System Interfaces for Embedded Software Development. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Arun Shrimali, Anand Venkitachalam, Ravi Arora |
Issues and Challenges in Ramp to Production. |
ISQED |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Leonard Lee, Li-C. Wang, Praveen Parvathala, T. M. Mak |
On Silicon-Based Speed Path Identification. |
VTS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Don S. Batory |
Feature Models, Grammars, and Propositional Formulas. |
SPLC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jeremy Singer |
Concept Assignment as a Debugging Technique for Code Generators. |
SCAM |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jinyong Jo, JaiSeung Kwak, Okhwan Byeon |
MEET : Multicast Debugging Toolkit with End-to-End Packet Trace. |
PCM (2) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Aravind Menon, Jose Renato Santos, Yoshio Turner, G. John Janakiraman, Willy Zwaenepoel |
Diagnosing performance overheads in the xen virtual machine environment. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
statistical profiling, performance analysis, virtual machine monitors |
9 | Nick Feamster |
Practical verification techniques for wide-area routing. |
Comput. Commun. Rev. |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Kamil Saraç, Kevin C. Almeroth |
Tracetree: a scalable mechanism to discover multicast tree topologies in the internet. |
IEEE/ACM Trans. Netw. |
2004 |
DBLP DOI BibTeX RDF |
forwarding state, tree topology discovery, Internet, routing, multicast, monitoring, management |
9 | Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H. C. Cheng |
Composing Adaptive Software. |
Computer |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes |
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Matt Bishop, Deborah A. Frincke |
Teaching Robust Programming. |
IEEE Secur. Priv. |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Franz Wotawa |
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results. |
Appl. Intell. |
2004 |
DBLP DOI BibTeX RDF |
debugging hardware designs, modeling for diagnosis, model-based diagnosis |
9 | Jayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir |
Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation. |
IEEE Des. Test Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Áine Mitchell, James F. Power |
An empirical investigation into the dimensions of run-time coupling in Java programs. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jia Zeng, Cristian Soviani, Stephen A. Edwards |
Generating fast code from concurrent program dependence graphs. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
sequencial, concurrent, esterel, program dependence graph |
9 | Chia-Chu Chiang |
A Formal Specification-Based Approach to Distributed Parallel Programming. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jung Hee Kim, Hyun-chul Sim, Yong-hyeog Kang, Young Ik Eom |
Design and Implementation of a Remote Debugger for Concurrent Debugging of Multiple Processes in Embedded Linux Systems. |
NPC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Anshuman S. Nadkarni, Tom Kenville |
TiGeR, the Transmeta Instruction GEneratoR: A Production Based, Pseudo Random Instruction x86 Test Generator. |
MTV |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Deepak Bandyopadhyay, Jack Snoeyink |
Almost-Delaunay simplices: nearest neighbor relations for imprecise points. |
SODA |
2004 |
DBLP BibTeX RDF |
|
9 | Håkan Mattsson, Christoph W. Kessler |
Towards a Bulk-Synchronous Distributed Shared Memory Programming Environment for Grids. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | María del Milagro Bolado, Hector Posadas, Javier Castillo, Pablo Huerta, Pablo Sánchez, Carlos Sánchez, Häkan Fouren, Francisco Blasco |
Platform Based on Open-Source Cores for Industrial Applications. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Janusz Rajski, Kan Thapar |
Nanometer Design: What are the Requirements for Manufacturing Test? |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Chia-Chu Chiang |
High-level heterogeneous distributed parallel programming. |
ISICT |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Martin Burtscher, Ilya Ganusov |
Automatic Synthesis of High-Speed Processor Simulators. |
MICRO |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Christos Papadopoulos, Chris Kyriakakis, Alexander A. Sawchuk, Xinming He |
CyberSeer: 3D audio-visual immersion for network security and management. |
VizSEC |
2004 |
DBLP DOI BibTeX RDF |
network security, monitoring, network visualization |
Displaying result #901 - #1000 of 1206 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|