Search results for "linux"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Yunsi Fei, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Energy-optimizing source code transformations for operating system-driven embedded software.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Linux, energy consumption, source code transformations
18	Seongbeom Kim, Fang Liu, Yan Solihin, Ravi R. Iyer 0001, Li Zhao 0002, W. Cohen	Accelerating Full-System Simulation through Characterizing and Predicting Operating System Performance.	ISPASS	2007	DBLP DOI BibTeX RDF	memory hierarchy model, full-system simulation acceleration, operating system performance characterization, operating system performance prediction, computer hardware complexity, cycle-accurate processor system simulation overheads, system libraries, OS service performance behavior, processor hierarchy model, Linux, software complexity
18	Ivan Krstic, Simson L. Garfinkel	Bitfrost: the one laptop per child security model.	SOUPS	2007	DBLP DOI BibTeX RDF	Bitfrost, usability, Linux
18	Yanbin Sun, Lun Xie, Zhiliang Wang, Yi An	An Embedded System of Face Recognition Based on ARM and HMM.	ICEC	2007	DBLP DOI BibTeX RDF	embedded system, HMM, Face Recognition, Linux, ARM
18	Kyoung Park, Soo-Cheol Oh, Seongwoon Kim, Yongwha Chung	A Network I/O Architecture for Terminal-Initiated Traffics in an Ubiquitous Service Server.	ICOIN	2007	DBLP DOI BibTeX RDF	Terminal-Initiated Traffics, Ubiquitous Service Server, TCP/IP Overhead, Network I/O, Linux, Offloading
18	Flavio Bertini 0002, D. Davide Lamanna, Roberto Baldoni	Virtual Distro Dispatcher: A Costless Distributed Virtual Environment from Trashware.	ISPA	2007	DBLP DOI BibTeX RDF	Trashware, LTSP, Clustering, Virtualization, User Mode Linux
18	Yoav Etsion, Dan Tsafrir, Scott Kirkpatrick, Dror G. Feitelson	Fine grained kernel logging with KLogger: experience and insights.	EuroSys	2007	DBLP DOI BibTeX RDF	KLogger, kernel logging, scheduling, performance evaluation, operating systems, Linux, locking, overheads
18	Arturo Ortiz-Tapia	Book Reviews: An Essential Point of Departure.	IEEE Distributed Syst. Online	2006	DBLP DOI BibTeX RDF	cluster computing, Linux
18	Tom Murphy	Education: High-Performance Computing in Community Colleges?	IEEE Distributed Syst. Online	2006	DBLP DOI BibTeX RDF	education, high-performance computing, Linux, HPC, community college
18	Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba	A dynamic aspect-oriented system for OS kernels.	GPCE	2006	DBLP DOI BibTeX RDF	profiling and debugging, aspect-oriented programming, operating system, Linux, dynamic AOP
18	Evangelos Koukis, Nectarios Koziris	Memory and Network Bandwidth Aware Scheduling of Multiprogrammed Workloads on Clusters of SMPs.	ICPADS (1)	2006	DBLP DOI BibTeX RDF	scheduling, Linux, multiprogramming, memory bandwidth, Myrinet, performance counters, resource contention, SMP clusters
18	Tsozen Yeh, Joseph Arul, Jia-Shian Wu, I-Fan Chen, Kuo-Hsin Tan	Using File Grouping to Improve the Disk Performance (Extended Abstract).	HPDC	2006	DBLP DOI BibTeX RDF	Ext3 file system, file grouping, disk performance, CPU speed, secondary storage device speed, disk I/O latency, file sequential access, program-based grouping, Reiser file system, Linux kernel
18	Eric Van Hensbergen	P.R.O.S.E.: partitioned reliable operating system environment.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF	Linux
18	Tat Kee Tan, Anand Raghunathan, Niraj K. Jha	Energy macromodeling of embedded operating systems.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Linux, energy consumption, characterization
18	Joel C. Adams, W. David Laverell	Configuring a multi-course lab for system-level projects.	SIGCSE	2005	DBLP DOI BibTeX RDF	user mode linux kernel, networking, operating systems, laboratories, VMWare
18	Hiroaki Inoue, Akihisa Ikeno, Masaki Kondo, Junji Sakai, Masato Edahiro	FIDES: an advanced chip multiprocessor platform for secure next generation mobile terminals.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	secure mobile terminal, chip multiprocessor, linux
18	Fabian Schneider 0001, Jörg Wallerich	Performance evaluation of packet capturing systems for high-speed networks.	CoNEXT	2005	DBLP DOI BibTeX RDF	linux, freeBSD, packet capturing
18	Yasushi Saito	Jockey: a user-space library for record-replay debugging.	AADEBUG	2005	DBLP DOI BibTeX RDF	execution record and replay, jockey, debugging, Linux, checkpointing, keywords, x86
18	Vincent Chang	Design of Middleware Platform to Enhance Abilities of Application Systems Integration.	ITCC (2)	2005	DBLP DOI BibTeX RDF	GUI operating interface, X.25, TCP/IP, Linux, API, SNA
18	Zhiqiang Lin, Chao Wang, Bing Mao, Li Xie 0001	A policy flexible architecture for secure operating system.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	Linux
18	Youhui Zhang, Dongsheng Wong, Weimin Zheng	User-level checkpoint and recovery for LAM/MPI.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	Linux
18	Bhuvan Urgaonkar, Prashant J. Shenoy	Brief announcement: Cataclysm: handling extreme overloads in internet services.	PODC	2004	DBLP DOI BibTeX RDF	G/G/1 model, hosting platform, QoS, admission control, linux, SLA, internet service, dynamic provisioning
18	C. Richard G. Helps, Stephen A. Renshaw	Design of a flexible case-study instructional module for operating systems for information technology.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	authentic education, curriculum currency, learn-expand-teach model, three-person model, operating systems, case-studies, linux, instructional design, Windows XP
18	Stephen R. Schach, Bo Jin, Liguo Yu, Gillian Z. Heller, A. Jefferson Offutt	Determining the Distribution of Maintenance Categories: Survey versus Measurement.	Empir. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Maintenance categories, repeated maintenance, real-time product, Linux, open-source software, GCC
18	Stephen R. Schach, Bo Jin, David R. Wright 0002, Gillian Z. Heller, A. Jefferson Offutt	Quality Impacts of Clandestine Common Coupling.	Softw. Qual. J.	2003	DBLP DOI BibTeX RDF	clandestine coupling, dependencies, Linux, open-source software, coupling, common coupling
18	Sangchul Han, Moonju Park, Yookun Cho	An Efficient Job Selection Scheme in Real-Time Scheduling under the Stack Resource Policy.	IPDPS	2003	DBLP DOI BibTeX RDF	runtime overhead, ready queue, scheduling, real-time, Linux, EDF, SRP
18	Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi	Checking and inferring local non-aliasing.	PLDI	2003	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity
18	Ce Yu, Jian Xiao 0001, Jizhou Sun	An Approach of Building LinuxCluster-Based Grid Services.	GCC (1)	2003	DBLP DOI BibTeX RDF	Grid Component, Grid Computing, Linux Cluster
18	Saurabh Agarwal, Gyu Sang Choi, Chita R. Das, Andy B. Yoo, Shailabh Nagar	Co-Ordinated Coscheduling in Time-Sharing Clusters through a Generic Framework.	CLUSTER	2003	DBLP DOI BibTeX RDF	multiprogramming, time-sharing, VIA, Linux cluster, coscheduling, generic framework
18	Sanjay K. Jha, Mahbub Hassan	Java implementation of policy-based bandwidth management.	Int. J. Netw. Manag.	2003	DBLP DOI BibTeX RDF	Java, Linux
18	Jiwei Lu, Howard Chen 0002, Rao Fu, Wei-Chung Hsu, Bobbie Othmer, Pen-Chung Yew, Dong-yuan Chen	The Performance of Runtime Data Cache Prefetching in a Dynamic Optimization System.	MICRO	2003	DBLP DOI BibTeX RDF	Linux, Intel
18	Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini	Remus: a security-enhanced operating system.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	privileged tasks, system penetration, Access control, Linux, system calls interception
18	Yiming Li 0005, S. M. Sze, Tien-Sheng Chao	A Practical Implementation of Parallel Dynamic Load Balancing for Adaptive Computing in VLSI Device Simulation.	Eng. Comput.	2002	DBLP DOI BibTeX RDF	DTMOS, Dynamic domain decomposition, Parallel I-V points calculation, VLSI device simulation, Load balancing, MOSFET, Linux cluster
18	Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken	Flow-Sensitive Type Qualifiers.	PLDI	2002	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, linux kernel, type qualifiers, restrict, flow-sensitivity
18	Erik A. Hendriks	BProc: the Beowulf distributed process space.	ICS	2002	DBLP DOI BibTeX RDF	cluster, Linux, process migration, single system image
18	Bert J. Dempsey, Debra Weiss, Paul Jones 0001, Jane Greenberg	Who is an open source software developer?	Commun. ACM	2002	DBLP DOI BibTeX RDF	Linux
18	Christian Kreiner, Christian Steger, Egon Teiniker, Reinhold Weiss	A novel codesign approach based on distributed virtual machines.	CODES	2002	DBLP DOI BibTeX RDF	Linux
18	Alexander Hars, Shaosong Ou	Working for Free? - Motivations of Participating in Open Source Projects.	HICSS	2001	DBLP DOI BibTeX RDF	Software development, Open Source, survey, Linux, Motivation
18	Noboru Kamijoh, Tadanobu Inoue, C. Michael Olsen, Mandayam T. Raghunath, Chandrasekhar Narayanaswami 0001	Energy trade-offs in the IBM Wristwatch computer.	ISWC	2001	DBLP DOI BibTeX RDF	Wrist watch, Battery Power Management, Energy efficiency, Linux
18	Kai Hwang 0001, Hai Jin 0001, Roy S. C. Ho, Wonwoo Ro	Reliable Cluster Computing with a New Checkpointing RAID-x Architecture.	Heterogeneous Computing Workshop	2000	DBLP DOI BibTeX RDF	RAID architectures, disk mirroring, staggered writing and fault tolerance, checkpointing, parallel I/O, Linux clusters, single system image, Scalable computing
18	Andrés Terrasa, Ana García-Fornes, Vicente J. Botti	Including user-defined timing exception support in FRTL.	RTCSA	2000	DBLP DOI BibTeX RDF	user-defined timing exception support, FRTL, flexible hard real-time systems, task deadlines, Flexible Real-Time Linux, CPU consumption, real-time systems, Unix, exception handling, worst-case execution time, operating systems (computers), run-time system, feasibility test
18	Cuneyt Akinlar, Sarit Mukherjee	Bandwidth Guarantee in a Distributed Multimedia File System Using Network Attached Autonomous Disks.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	Network Attached Storage Devices, Network and Disk Scheduling, Quality of Service, File System, Distributed File System, Network File System, Linux Operating System
18	Timothy Fraser	LOMAC: Low Water-Mark Integrity Protection for COTS Environments.	S&P	2000	DBLP DOI BibTeX RDF	low water-mark, linux security, access control, integrity, mandatory access control, security policy model
18	Torben Weis, Kurt Geihs	Components on the Desktop.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	KDE, KOM, Components, CORBA, Linux, Desktop
18	Henry Haverinen, Antti Kuikka, Tuomas Määttänen	A Portable Mobile IP Implementation.	LCN	2000	DBLP DOI BibTeX RDF	portable mobile IP implementation, TCP/IP stack, porting-friendly implementation, generic implementation, software architecture, software architecture, operating system, Linux, transport protocols, Internet protocol, operating systems (computers), protocol implementations, land mobile radio, Windows CE, Windows 2000
18	Boon Peng Lee, Rajesh Krishna Balan, Lillykutty Jacob, Winston Khoon Guan Seah, Akkihebbal L. Ananda	TCP Tunnels: Avoiding Congestion Collapse.	LCN	2000	DBLP DOI BibTeX RDF	TCP tunnels, congestion collapse avoidance, TCP circuits, IP packets, congestion control mechanism, UDP flows, Intel PC, IP traffic, RFC2309 recommendation, random early drop, default packet-drop policy, Internet, Internet, TCP/IP, transport protocols, queueing theory, packet switching, testbed, operating systems (computers), telecommunication network routing, bandwidth allocation, telecommunication traffic, packet loss, telecommunication congestion control, traffic generators, microcomputer applications, Internet routers, backbone networks, Linux operating system
18	Samuel Patton, David Doss, William Yurcik	Open Source Versus Commercial Firewalls: Functional Comparison.	LCN	2000	DBLP DOI BibTeX RDF	corporate applications, commercial firewalls, security risks, Cisco, IOS firewall feature set, Internet, Internet, open source, open source software, open systems, network operating systems, authorisation, telecommunication security, virtual private network, business communication, Linux operating system
18	Vijay Sundaram, Abhishek Chandra, Pawan Goyal 0001, Prashant J. Shenoy, Jasleen Sahni, Harrick M. Vin	Application performance in the QLinux multimedia operating system.	ACM Multimedia	2000	DBLP DOI BibTeX RDF	Linux
18	László Böszörményi, Günther Hölzl, Emanuel Pirker	Parallel Cluster Computing with IEEE1394-1995.	ACPC	1999	DBLP DOI BibTeX RDF	IEEE1394-1995, isochronous transfers, cluster computing, Linux, parallel systems
18	Sean B. House, Shyam Murthy, Douglas Niehaus	Proportional Time Simulation of ATM Networks.	RTSS	1999	DBLP DOI BibTeX RDF	embedded systems, real-time, networks, ATM, linux, distributed simulation, ABR
18	David Ingram	Soft Real Time Scheduling for General Purpose Client-Server Systems.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	Real Time, Operating Systems, Linux, Client-Server
18	T. Mitchem, R. Lu, R. O'Brian	Using Kernel Hypervisors to Secure Applications.	ACSAC	1997	DBLP DOI BibTeX RDF	kernel hypervisors, secure applications, selective control, loadable module, unbypassable security wrappers, application specific security requirements, client kernel hypervisors, application specific policies, loadable modules, user systems, malicious active content, wrapping servers, firewall services, Web browser, operating system kernels, Linux kernel, COTS components, replication services
18	Adenekan Dedeke	Is Linux Better than Windows Software?	IEEE Softw.	2009	DBLP DOI BibTeX RDF
18	Brice Goglin, Nathalie Furmento	Enabling high-performance memory migration for multithreaded applications on LINUX.	IPDPS	2009	DBLP DOI BibTeX RDF
18	Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko	Behavioural Analysis of an I2C Linux Driver.	FMICS	2009	DBLP DOI BibTeX RDF
18	Éric Lacombe, Frédéric Raynal, Vincent Nicomette	Rootkit modeling and experiments under Linux.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
18	Chee Siang Wong, Ian K. T. Tan, Rosalind Deena Kumari, Fun Wey	Towards achieving fairness in the Linux scheduler.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
18	Paul E. McKenney, Jonathan Walpole	Introducing technology into the Linux kernel: a case study.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
18	Jérémy Briffaut, Jean-François Lalande, Waleed W. Smari	Team--Based MAC Policy over Security--Enhanced Linux.	SECURWARE	2008	DBLP DOI BibTeX RDF
18	Arkadiusz Chrobot, Grzegorz Lukawski, Krzysztof Sapiecha	Scalable Distributed Data Structures for Linux-based Multicomputer.	ISPDC	2008	DBLP DOI BibTeX RDF
18	Michael Scharf, Haiko Strotbek	Performance Evaluation of Quick-Start TCP with a Linux Kernel Implementation.	Networking	2008	DBLP DOI BibTeX RDF
18	Yanping Gao, Xiangjun Li, Yandong Che	New Architecture and Algorithm for Webserver Cluster Based on Linux Virtual Server.	ISIP	2008	DBLP DOI BibTeX RDF
18	Thomas Wischgoll	A Low-Cost, Linux-Based Virtual Environment for Visualizing Vascular Structures.	ISVC (1)	2008	DBLP DOI BibTeX RDF
18	Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli	Improving the Quality of GNU/Linux Distributions.	COMPSAC	2008	DBLP DOI BibTeX RDF
18	Eelco Dolstra, Andres Löh	NixOS: a purely functional Linux distribution.	ICFP	2008	DBLP DOI BibTeX RDF	NixOS, nix, package management, purely functional deployment model, purely functional language, system configuration management, software deployment
18	Richard Fox, Eric Davidson	Classifying User Behavior in Linux Sessions.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
18	Min Jin, Xiang Zhou, Peng Duan, Zefeng Tian, Jihui Zhou	The Design and Implementation of Embedded Configuration Software Based on Embedded-Linux.	CSSE (4)	2008	DBLP DOI BibTeX RDF
18	Jing Li, Weidong Hao	Research and Design of Embedded Network Video Monitoring System Based on Linux.	CSSE (5)	2008	DBLP DOI BibTeX RDF
18	Ding Tang, Cheng Wan 0004, Zhijun Zhao	A New Design of AAA Client for Integrated Access Based on Embedded Linux.	CSSE (2)	2008	DBLP DOI BibTeX RDF
18	Joan Vila-Carbó, Joaquim Tur-Masanet, Enrique Hernández-Orallo	An evaluation of switched ethernet and linux traffic control for real-time transmission.	ETFA	2008	DBLP DOI BibTeX RDF
18	Roberto Jung Drebes, Takashi Nanya	Limitations of the Linux Fault Injection Framework to Test Direct Memory Access Address Errors.	PRDC	2008	DBLP DOI BibTeX RDF
18	Nir Kshetri	Increasing Returns and the Diffusion of Linux in China.	IT Prof.	2007	DBLP DOI BibTeX RDF
18	Sangsoo Park, Heonshik Shin	Performance Evaluation of Memory Management Configurations in Linux for an OS-Level Design Space Exploration.	SAMOS	2007	DBLP DOI BibTeX RDF
18	Peter A. Loscocco, Perry W. Wilson, J. Aaron Pendergrass, C. Durward McDonell	Linux kernel integrity measurement using contextual inspection.	STC	2007	DBLP DOI BibTeX RDF	LKIM, attestation systems, system monitoring, integrity measurement
18	Megumi Nakamura, Seiji Munetoh	Designing a trust chain for a thin client on a live Linux cd.	SAC	2007	DBLP DOI BibTeX RDF	trusted computing, thin client
18	Liguo Yu, Srini Ramaswamy	Change propagations in the maintenance of kernel-based software with a study on Linux.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	data mining, maintenance, change propagation
18	Rui Shi	Implementing reliable Linux device drivers in ATS.	PLPV	2007	DBLP DOI BibTeX RDF	applied type system, device driver programming, ATS
18	Clifford Beshers, David Fox, Jeremy Shaw	Experience report: using functional programming to manage a linux distribution.	ICFP	2007	DBLP DOI BibTeX RDF
18	Gail-Joon Ahn, Dhruv Gami	Enabling Role-Based Delegation and Revocation on Security-Enhanced Linux.	ISCC	2007	DBLP DOI BibTeX RDF
18	Cristian Morariu, Manuel Feier, Burkhard Stiller	LINUBIA: A Linux-Supported User-Based IP Accounting.	DSOM	2007	DBLP DOI BibTeX RDF
18	Yung-Tai Hsu, Yuan-Jin Wen, Sheng-De Wang	Embedded Hardware/Software Design and Cosimulation using User Mode Linux and SystemC.	ICPP Workshops	2007	DBLP DOI BibTeX RDF
18	Yunjae Lim, Young Jin Nam, Geel-Sang Yoo, Dae-Wha Seo	Automatic Partitioning Technique for Flash Memory on Linux-Based Embedded Systems.	UIC	2007	DBLP DOI BibTeX RDF
18	Junghoon Lee, Gyung-Leen Park, Hanil Kim, Young-Kyu Yang, Pankoo Kim, Sang-Wook Kim	A Telematics Service System Based on the Linux Cluster.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF
18	Sebastian Spaeth, Matthias Stuermer, Stefan Haefliger, Georg von Krogh	Sampling in Open Source Software Development: The Case for Using the Debian GNU/Linux Distribution.	HICSS	2007	DBLP DOI BibTeX RDF
18	Francis M. David, Jeffrey C. Carlyle, Roy H. Campbell	Context switch overheads for Linux on ARM platforms.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	context switch overhead, operating system
18	François Déchelle, Fabio Mancinelli	EDOS-Tools Tutorial: EDOS Tools for Linux Distributions Dependencies Management and Quality Assurance. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF
18	Rose K. Shumba	Teaching hands-on Linux host computer security.	ACM J. Educ. Resour. Comput.	2006	DBLP DOI BibTeX RDF	file integrity, file permissions, host security exercises, user accounts, cryptography, Computer security
18	Jason Nieh, Chris Vaill	Experiences teaching operating systems using virtual platforms and Linux.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF	virtual machines, operating systems, virtualization, computer science education, open-source software
18	Hua Xu, Peifa Jia	RTOC: A Rt-Linux Based Open Robot Controller.	IROS	2006	DBLP DOI BibTeX RDF
18	Filipa Duarte, Stephan Wong	Profiling Bluetooth and Linux on the Xilinx Virtex II Pro.	DSD	2006	DBLP DOI BibTeX RDF
18	Jan-Thomas Czornack, Carsten Trinitis, Max Walter	Transparent Checkpointing for Applications with Graphical User Interfaces and Thread Support on Linux Systems.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
18	Radoslaw Brendel, Henryk Krawczyk	Transparent Checkpointing for Applications with Graphical User Interfaces and Thread Support on Linux Systems.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
18	Joseph Antony, Pete P. Janes, Alistair P. Rendell	Exploring Thread and Memory Placement on NUMA Architectures: Solaris and Linux, UltraSPARC/FirePlane and Opteron/HyperTransport.	HiPC	2006	DBLP DOI BibTeX RDF
18	Kamran Karimi, Mohsen Sharifi	Transparent Distributed Programming under Linux.	HPCS	2006	DBLP DOI BibTeX RDF
18	Chun-tao Man, Peng Li, Yan Li	Study of Priority Inversion in Embedded Linux.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
18	Jan Tobias Mühlberg, Gerald Lüttgen	Blasting Linux Code.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
18	Peter T. Breuer, Simon Pickin 0001, María M. Larrondo-Petrie	Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source.	SEW	2006	DBLP DOI BibTeX RDF
18	Peter T. Breuer, Simon Pickin 0001	Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
18	Yi-Ming Chen 0008, Yung-Wei Kao	Information Flow Query and Verification for Security Policy of Security-Enhanced Linux.	IWSEC	2006	DBLP DOI BibTeX RDF	information flow, security policy, Colored Petri Nets, SELinux
18	Chao-Tung Yang, Ping-I Chen, Sung-Yi Chen, Hao-Yu Tung	A Jobs Allocation Strategy for Multiple DRBL Diskless Linux Clusters with Condor Schedulers.	GCC	2006	DBLP DOI BibTeX RDF