|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 623 occurrences of 466 keywords
|
|
|
|
|
Results
Found 408 publication records. Showing 408 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Kun Bai, Meng Yu, Peng Liu |
TRACE: Zero-Down-Time Database Damage Tracking, Quarantine, and Cleansing with Negligible Run-Time Overhead.  |
ESORICS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Nattha Sretasereekul, Hiroshi Saito, Masashi Imai, Euiseok Kim, Metehan Özcan, K. Thongnoo, Hiroshi Nakamura, Takashi Nanya |
A zero-time-overhead asynchronous four-phase controller.  |
ISCAS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Mehrdad Reshadi, Nikil D. Dutt |
Reducing Compilation Time Overhead in Compiled Simulators.  |
ICCD  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Andrew M. Tyrrell |
Recovery Blocks and Algorithm-Based Fault Tolerance.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
numerical processing, added redundancy, acceptability check, error detection, software fault tolerance, algorithm-based fault tolerance, recovery blocks, time overhead |
| 2 | Dimitrios Kagaris, Spyros Tragoudas |
A multiseed counter TPG with performance guarantee. (PDF / PS)  |
ICCD  |
1996 |
DBLP DOI BibTeX RDF |
built-in test pattern generators, multiseed counter test pattern generator, low hardware overhead, fast CAD tool, ISCAS'85 benchmarks, hardware/time overhead, built-in self test, performance guarantee, test set generation |
| 2 | Pierre Sens |
The performance of independent checkpointing in distributed systems.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
independent checkpointing, run-time overhead, message logging mechanism, fault management overhead, long-running distributed applications, small data streams, performance evaluation, fault tolerance, performance, distributed systems, parallel processing, fault tolerant computing, distributed processing, Unix, local area networks, system recovery, workstations, parallel applications, workstations network |
| 2 | Josef Altmann, A. Böhm |
Algorithm-based fault-tolerant programming in scientific computation on multiprocessors.  |
PDP  |
1995 |
DBLP DOI BibTeX RDF |
algorithm-based fault-tolerant programming, parallel run-time environment, error processing techniques, execution time overhead, master/slave programming model, parallel algorithms, parallel algorithms, parallel programming, multiprocessors, programming environments, multiprocessing systems, scientific computation, software fault tolerance |
| 2 | K. H. Kim |
Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation.  |
IEEE Trans. Software Eng.  |
1988 |
DBLP DOI BibTeX RDF |
programmer transparent coordination, storage reduction, recovering concurrent processes, error direction, intelligent processor system, process rollback, minimum-distance rollback, supervisory programs, data structures, data structures, fault tolerant computing, error detection, programming theory, system recovery, system recovery, multiprocessing programs, recovery block, language construct, time overhead |
| 1 | François Duhem, Fabrice Muller, Philippe Lorenzini |
Reconfiguration time overhead on field programmable gate arrays: reduction and cost model.  |
IET Computers & Digital Techniques  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Qi, Dakai Zhu, Hakan Aydin |
Cluster scheduling for real-time systems: utilization bounds and run-time overhead.  |
Real-Time Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Duhem, Fabrice Muller, Philippe Lorenzini |
FaRM: Fast Reconfiguration Manager for Reducing Reconfiguration Time Overhead on FPGA.  |
ARC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Saqib Khursheed, Sheng Yang, Bashir M. Al-Hashimi, Xiaoyu Huang, David Flynn |
Improved DFT for Testing Power Switches.  |
European Test Symposium  |
2011 |
DBLP DOI BibTeX RDF |
power switch, leakage power management, test time overhead, DFT, design for test, Sleep transistor |
| 1 | Xuan Qi, Dakai Zhu, Hakan Aydin |
A Study of Utilization Bound and Run-Time Overhead for Cluster Scheduling in Multiprocessor Real-Time Systems.  |
RTCSA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter De Borger, Bart De Win, Bert Lagaisse, Wouter Joosen |
A permission system for secure AOP.  |
AOSD  |
2010 |
DBLP DOI BibTeX RDF |
execution history, permission system, aspect-oriented programming, language-based security |
| 1 | David Xinliang Li, Raksit Ashok, Robert Hundt |
Lightweight feedback-directed cross-module optimization.  |
CGO  |
2010 |
DBLP DOI BibTeX RDF |
cross-module, feedback-directed, inter-procedural, optimization |
| 1 | Zhenjiang Wang, Chenggang Wu, Pen-Chung Yew |
On improving heap memory layout by dynamic pool allocation.  |
CGO  |
2010 |
DBLP DOI BibTeX RDF |
adaptive partial call chain, pool allocation, dynamic optimization, data layout |
| 1 | Cliff Chiung-Yu Lin, Yao-Wen Chang |
Cross-contamination aware design methodology for pin-constrained digital microfluidic biochips.  |
DAC  |
2010 |
DBLP DOI BibTeX RDF |
cross-contamination, microfludics, design methodology, biochip |
| 1 | Thorsten Zitterell, Christoph Scholl |
A probabilistic and energy-efficient scheduling approach for online application in real-time systems.  |
DAC  |
2010 |
DBLP DOI BibTeX RDF |
dynamic voltage scaling, hard real-time, energy-aware scheduling |
| 1 | Lee Chew, David Lie |
Kivati: fast detection and prevention of atomicity violations.  |
EuroSys  |
2010 |
DBLP DOI BibTeX RDF |
kivati, watchpoint, atomicity violation |
| 1 | Zachary D. Williams, Gregory M. Kapfhammer |
Using synthetic test suites to empirically compare search-based and greedy prioritizers.  |
GECCO (Companion)  |
2010 |
DBLP DOI BibTeX RDF |
greedy test prioritization, search-based test prioritization |
| 1 | Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro |
Dynamically checking ownership policies in concurrent c/c++ programs.  |
POPL  |
2010 |
DBLP DOI BibTeX RDF |
security, testing, concurrency, debugging, tools, dynamic analysis |
| 1 | Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler |
An operating system abstraction layer for portable applications in wireless sensor networks.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
OSAL, abstraction layer, WSN, wireless sensor networks, operating systems, API, portability, OS |
| 1 | Feng Wang 0004, Yuan Xie, Andrés Takach |
Variation-aware resource sharing and binding in behavioral synthesis.  |
ASP-DAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phu H. Phung, David Sands, Andrey Chudnov |
Lightweight self-protecting JavaScript.  |
ASIACCS  |
2009 |
DBLP DOI BibTeX RDF |
programming, JavaScript, language based security, inlined reference monitors |
| 1 | Shaoshan Liu, Ligang Wang, Xiao-Feng Li, Jean-Luc Gaudiot |
Space-and-time efficient garbage collectors for parallel systems.  |
Conf. Computing Frontiers  |
2009 |
DBLP DOI BibTeX RDF |
garbage collection, java virtual machine |
| 1 | Jianxia Chen, Lakshmish Ramaswamy, David K. Lowenthal |
Towards efficient event aggregation in a decentralized publish-subscribe system.  |
DEBS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Zafar Shazli, Mehdi Baradaran Tahoori |
Soft error rate computation in early design stages using boolean satisfiability.  |
ACM Great Lakes Symposium on VLSI  |
2009 |
DBLP DOI BibTeX RDF |
soft error, hardware description language, reliability modeling |
| 1 | Vijay Nagarajan, Rajiv Gupta |
ECMon: exposing cache events for monitoring.  |
ISCA  |
2009 |
DBLP DOI BibTeX RDF |
cache events, recording for replay, speculation past barriers |
| 1 | Rabia Haq, Michael L. Nelson |
Using timed-release cryptography to mitigate the preservation risk of embargo periods.  |
JCDL  |
2009 |
DBLP DOI BibTeX RDF |
time lock, timed release, cryptography, repositories |
| 1 | Ryan W. Moore, José Baiocchi, Bruce R. Childers, Jack W. Davidson, Jason Hiser |
Addressing the challenges of DBT for the ARM architecture.  |
LCTES  |
2009 |
DBLP DOI BibTeX RDF |
virtualization, dynamic binary translation, arm |
| 1 | Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner |
Staged information flow for javascript.  |
PLDI  |
2009 |
DBLP DOI BibTeX RDF |
integrity, web applications, confidentiality, flow analysis, set constraints |
| 1 | Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose |
Lazy continuations for Java virtual machines.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
stack frame, Java, optimization, performance, virtual machine, continuation, activation |
| 1 | Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler |
An efficient operating system abstraction layer for portable applications in the domain of wireless sensor networks.  |
SenSys  |
2009 |
DBLP DOI BibTeX RDF |
WSN, operating system, abstraction, embedded, API |
| 1 | Riham Abdel Kader, Peter A. Boncz, Stefan Manegold, Maurice van Keulen |
ROX: run-time optimization of XQueries.  |
SIGMOD Conference  |
2009 |
DBLP DOI BibTeX RDF |
optimization, xquery, xml |
| 1 | Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah |
Backward-compatible constant-time exception-protected memory.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility |
| 1 | Matteo Maria Andreozzi, Giovanni Stea, Carlo Vallati |
A framework for large-scale simulations and output result analysis with ns-2.  |
SimuTools  |
2009 |
DBLP DOI BibTeX RDF |
statistical analysis, network simulation, NS-2, simulation tools |
| 1 | Mehrdad Reshadi, Prabhat Mishra, Nikil D. Dutt |
Hybrid-compiled simulation: An efficient technique for instruction-set architecture simulation.  |
ACM Trans. Embedded Comput. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
interpretive simulation, partial evaluation, instruction set architecture, Compiled simulation |
| 1 | Takuya Azumi, Hiroaki Takada, Hiroshi Oyama |
Optimization of Component Connections for an Embedded Component System.  |
CSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Ansel, Kapil Arya, Gene Cooperman |
DMTCP: Transparent checkpointing for cluster computations and the desktop.  |
IPDPS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoshan Liu, Ligang Wang, Xiao-Feng Li, Jean-Luc Gaudiot |
Packer: An innovative space-time-efficient parallel garbage collection algorithm based on virtual spaces.  |
IPDPS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonidas Tzevelekas, Ioannis Stavrakakis |
Improving partial cover of Random Walks in large-scale Wireless Sensor Networks.  |
WOWMOM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tae Won Ban, Wan Choi, Dan Keun Sung |
Capacity and energy efficiency of multi-user spectrum sharing systems with opportunistic scheduling.  |
IEEE Transactions on Wireless Communications  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angel Jiménez Molina, Jun-Sung Kim, Hyung-Min Koo, Byung-Seok Kang, In-Young Ko |
A Semantically-Based Task Model and Selection Mechanism in Ubiquitous Computing Environments.  |
KES  |
2009 |
DBLP DOI BibTeX RDF |
Task-oriented Computing, Semantic Web, Ubiquitous Computing |
| 1 | Vijay Nagarajan, Rajiv Gupta, Arvind Krishnaswamy |
Compiler-Assisted Memory Encryption for Embedded Processors.  |
T. HiPEAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuan-Wei Cheng, Tzong-Yen Lin, Rong-Guey Chang |
Profile-based dynamic pipeline scaling.  |
The Journal of Supercomputing  |
2009 |
DBLP DOI BibTeX RDF |
DPS, Pipeline mode, Loop region, DVS, IPC |
| 1 | Hoseok Chang, Junho Cho, Wonyong Sung |
Compiler-Based Performance Evaluation of an SIMD Processor with a Multi-Bank Memory Unit.  |
Signal Processing Systems  |
2009 |
DBLP DOI BibTeX RDF |
Multi-bank memory, Vectorizing compiler, Data allocation, On-chip memory, SIMD processor |
| 1 | Salvador Cavadini |
Secure slices of insecure programs.  |
ASIACCS  |
2008 |
DBLP DOI BibTeX RDF |
information flow, program slicing, non-interference, program dependences |
| 1 | Edward Lee, Craig B. Zilles |
Branch-on-random.  |
CGO  |
2008 |
DBLP DOI BibTeX RDF |
lfsr, sampling, profiling, instrumentation, branch, pseudo-random |
| 1 | Kun Bai, Peng Liu |
A light weighted damage tracking quarantine and recovery scheme for mission-critical database systems.  |
CIKM  |
2008 |
DBLP DOI BibTeX RDF |
security, data integrity, database management system, transaction processing |
| 1 | Gregory M. Kapfhammer, Mary Lou Soffa |
Database-aware test coverage monitoring.  |
ISEC  |
2008 |
DBLP DOI BibTeX RDF |
test coverage monitoring, database application |
| 1 | Yutao Zhong, Wentao Chang |
Sampling-based program locality approximation.  |
ISMM  |
2008 |
DBLP DOI BibTeX RDF |
reuse signature, sampling, profiling, reuse distance, program locality |
| 1 | M. Teresa Higuera-Toledano |
Making stronger and flexible the single parent rule in the real-time specification of Java.  |
JTRES  |
2008 |
DBLP DOI BibTeX RDF |
illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers |
| 1 | Christian Häubl, Christian Wimmer, Hanspeter Mössenböck |
Optimized strings for the Java HotSpot™ virtual machine.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
Java, optimization, performance, string |
| 1 | Rui Abreu, Alberto González 0002, Peter Zoeteweij, Arjan J. C. van Gemund |
Automatic software fault localization using generic program invariants.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
black box diagnosis, error detection, fault localization, program invariants, program spectra |
| 1 | Lingxiao Jiang, Zhendong Su |
Profile-guided program simplification for effective testing and analysis.  |
SIGSOFT FSE  |
2008 |
DBLP DOI BibTeX RDF |
testing and analysis, profiling, statistical debugging, program simplification |
| 1 | Franco Raimondi, James Skene, Wolfgang Emmerich |
Efficient online monitoring of web-service SLAs.  |
SIGSOFT FSE  |
2008 |
DBLP DOI BibTeX RDF |
services, service level agreements, on-line monitoring |
| 1 | Dan Xu, Xin Liu |
Opportunistic spectrum access in cognitive radio networks: when to turn off the spectrum sensors.  |
WICON  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Erdem Aktas, Kanad Ghose |
DARE: A Framework for Dynamic Authentication of Remote Executions.  |
ACSAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles C. Castello, Jeffrey Fan, Te-Shun Chou, Hong-Ming Kuo |
Integration and Implementation of Secured IP Based Surveillance Networks.  |
APSCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun Bai, Peng Liu |
A Fine-Grained Damage Management Scheme in a Self-Healing PostgreSQL System.  |
HASE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hossein Gholamipour, Elaheh Bozorgzadeh, Lichun Bao |
Seamless sequence of software defined radio designs through hardware reconfigurability of FPGAs.  |
ICCD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan D. Bruda, Yuanqiao Zhang |
Why shared memory matters to VLSI design: The BSR is as powerful as reconfiguration.  |
IPDPS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kinga Dobolyi, Westley Weimer |
Changing Java's Semantics for Handling Null Pointer Exceptions.  |
ISSRE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Abukmail, Abdelsalam Helal |
A Near-Zero Run-Time Energy Overhead within a Computation Outsourcing Framework for Energy Management in Mobile Devices.  |
ITNG  |
2008 |
DBLP DOI BibTeX RDF |
Battery Monitor, Outsourcing, Energy Management, Smart Spaces, Energy Monitor |
| 1 | Zhenghong Wang, Ruby B. Lee |
A novel cache architecture with enhanced performance and security.  |
MICRO  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalie D. Enright Jerger, Li-Shiuan Peh, Mikko H. Lipasti |
Circuit-Switched Coherence.  |
NOCS  |
2008 |
DBLP DOI BibTeX RDF |
Interconnection network, multiprocessor systems, cache coherence |
| 1 | Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro |
Preventing Memory Error Exploits with WIT.  |
IEEE Symposium on Security and Privacy  |
2008 |
DBLP DOI BibTeX RDF |
static analysis, instrumentation, attack detection, memory errors |
| 1 | Amit Kumar 0002, Li Shang, Li-Shiuan Peh, Niraj K. Jha |
System-Level Dynamic Thermal Management for High-Performance Microprocessors.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wang 0038, Chinya V. Ravishankar |
Adaptive Broadcasting for Similarity Queries in Wireless Content Delivery Systems.  |
IEEE Trans. Knowl. Data Eng.  |
2008 |
DBLP DOI BibTeX RDF |
Relevance feedback, Similarity measures, Wireless systems, Dissemination, Content Analysis and Indexing |
| 1 | Vladimir Vishnevsky, Andrey Lyakhov, Alexander Safonov, Shaomin S. Mo, Alexander D. Gelman |
Study of Beaconing in Multihop Wireless PAN with Distributed Control.  |
IEEE Trans. Mob. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Wi-Media, Beacon collisions, Analytical study, MAC, Distributed Control, Wireless PAN |
| 1 | Chao Gong, Kamil Saraç |
A More Practical Approach for Single-Packet IP Traceback using Packet Logging and Marking.  |
IEEE Trans. Parallel Distrib. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Romero, Jay Summet, John T. Stasko, Gregory D. Abowd |
Viz-A-Vis: Toward Visualizing Video through Computer Vision.  |
IEEE Trans. Vis. Comput. Graph.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangho Yi, Seungwoo Lee, Yookun Cho, Jiman Hong |
SESAME-P: Memory Pool-Based Dynamic Stack Management for Sensor Operating Systems.  |
DCOSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Sérot, Joel Falcou |
Functional Meta-programming for Parallel Skeletons.  |
ICCS  |
2008 |
DBLP DOI BibTeX RDF |
Parallel programming, skeletons, meta-programming |
| 1 | Bodo Möller, Andy Rupp |
Faster Multi-exponentiation through Caching: Accelerating (EC)DSA Signature Verification.  |
SCN  |
2008 |
DBLP DOI BibTeX RDF |
embedded cryptography, elliptic curve cryptography, exponentiation, Efficient implementation, DSA, ECDSA |
| 1 | Seongje Cho, Hyeyoung Chang, Yookun Cho |
Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture.  |
SEUS  |
2008 |
DBLP DOI BibTeX RDF |
Source Code Protection, Reverse Engineering, Obfuscation |
| 1 | Sarvjeet Singh, Chris Mayfield, Rahul Shah, Sunil Prabhakar, Susanne E. Hambrusch |
Query Selectivity Estimation for Uncertain Data.  |
SSDBM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Dugeon, Enzo Mingozzi, Giovanni Stea, Luca Bisti |
Provisioning QoS in inter-domain traffic engineering.  |
Annales des Télécommunications  |
2008 |
DBLP DOI BibTeX RDF |
Path computation element, EQ-link, Traffic engineering, DiffServ, Multi protocol label switching |
| 1 | Abdul Aziz, Hesham El-Rewini |
On the use of meta-heuristics to increase the efficiency of online grid workflow scheduling algorithms.  |
Cluster Computing  |
2008 |
DBLP DOI BibTeX RDF |
Grid management architectures, Simulated annealing, Collaborative computing, Resource selection, Grid middleware, Scheduling heuristics, Workflow scheduling |
| 1 | Glenn S. Wasson, Norm Beekwilder, David Del Vecchio, Mark M. Morgan, Marty Humphrey |
Resource-oriented Computing: Design, Implementation, and Evaluation of WSRF.NET.  |
J. Grid Comput.  |
2008 |
DBLP DOI BibTeX RDF |
stateful services, web services, Grid computing, middleware, WSRF |
| 1 | Tomoyuki Aotani, Hidehiko Masuhara |
SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts.  |
AOSD  |
2007 |
DBLP DOI BibTeX RDF |
analysis-based pointcuts, aspect-oriented programming languages, point-cuts, AOP, compiler design |
| 1 | Antonio Dasilva, José-Fernán Martínez, Lourdes López, Ana Belén García, Luis Redondo |
Exhaustif: a fault injection tool for distributed heterogeneous embedded systems.  |
EATIS  |
2007 |
DBLP DOI BibTeX RDF |
SWIFI, fault injection techniques, fault tolerance, distributed embedded systems |
| 1 | Conghua Xie, Jinyi Chang, Yuqing Song |
Hill-down strategy based DENsity CLUstEring and its application to medical image data.  |
Infoscale  |
2007 |
DBLP DOI BibTeX RDF |
density clustering, hill-down strategy, hill-climbing |
| 1 | David Gay, Robert Ennals, Eric A. Brewer |
Safe manual memory management.  |
ISMM  |
2007 |
DBLP DOI BibTeX RDF |
C, safety, memory management, reference counting |
| 1 | Craig B. Zilles |
Accordion arrays.  |
ISMM  |
2007 |
DBLP DOI BibTeX RDF |
Java, compression, memory management, polymorphism, array, character, unicode |
| 1 | Matthew B. Dwyer, Rahul Purandare |
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.  |
ASE  |
2007 |
DBLP DOI BibTeX RDF |
optimizing run-time monitors, static error detection |
| 1 | Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykumar |
Speculative thread decomposition through empirical optimization.  |
PPOPP  |
2007 |
DBLP DOI BibTeX RDF |
empirical search, chip multiprocessor, decomposition, multi-core, thread-level speculation |
| 1 | Sangho Yi, Hong Min, Seungwoo Lee, Yeongkwun Kim, Injoo Jeong |
SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems.  |
SAC  |
2007 |
DBLP DOI BibTeX RDF |
multi-threaded model, thread stack management, operating system, process management |
| 1 | Andy Konwinski, John Bent, James Nunez, Meghan Quist |
Towards an I/O tracing framework taxonomy.  |
PDSW  |
2007 |
DBLP DOI BibTeX RDF |
parallel, file systems, tracing |
| 1 | Sylvain Lefebvre, Carsten Dachsbacher |
TileTrees.  |
SI3D  |
2007 |
DBLP DOI BibTeX RDF |
interactive painting, texturing, texture mapping |
| 1 | Guoqing (Harry) Xu, Atanas Rountev, Yan Tang, Feng Qin |
Efficient checkpointing of java software using context-sensitive capture and replay.  |
ESEC/SIGSOFT FSE  |
2007 |
DBLP DOI BibTeX RDF |
checkpoint, replay |
| 1 | Lixin Su, Mikko H. Lipasti |
Speculative optimization using hardware-monitored guarded regions for java virtual machines.  |
VEE  |
2007 |
DBLP DOI BibTeX RDF |
precise exceptions, speculative processors, java, virtual machines, transactional memory |
| 1 | Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattacharyya |
Beyond single-appearance schedules: Efficient DSP software synthesis using nested procedure calls.  |
ACM Trans. Embedded Comput. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
block diagram compiler, hierarchical graph decomposition, procedural implementation, embedded systems, design methodology, memory optimization, Synchronous dataflow |
| 1 | Deepak Chandra, Michael Franz |
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine.  |
ACSAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuoi Wang, Hsing-Lung Chen |
TMBT: An Efficient Index Allocation Method for Multi-Channel Data Broadcast.  |
AINA Workshops  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stern, Nikhil Joshi, Kaijie Wu, Ramesh Karri |
Register Transfer Level Concurrent Error Detection in Elliptic Curve Crypto Implementations.  |
FDTC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Siavash Bayat Sarmadi, M. Anwar Hasan |
Detecting errors in a polynomial basis multiplier using multiple parity bits for both inputs.  |
ICCD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Gradinariu, Sébastien Tixeuil |
Conflict Managers for Self-stabilization without Fairness Assumption.  |
ICDCS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeong-Hyon Hwang, Ying Xing, Ugur Çetintemel, Stanley B. Zdonik |
A Cooperative, Self-Configuring High-Availability Solution for Stream Processing.  |
ICDE  |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 408 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|